About us
International Board
Supporting Libraries
User Guide
Contact
Search
Login
Repository
Recent Publications
Serials
People
Submit reference
Calendar
Conferences
Call for Papers
My Events
Submit Event
Resources
Blogs
Reinach
Center for Subjectivity Research
CEP Louvain
et al.
Grupo Husserl
Husserl Archives Leuven
NASEP Blog
Phenomenology in Education
Rustik
Scuola di Milano
WW1 and Philosophy
Links
Derrida's Margins
Husserl Page
Phenomenology Lab
Roman Ingarden Digital Archive
Walter Benjamin Digital
Repository |
Book
| Chapter
(2008)
Information and knowledge
, Dordrecht, Springer.
Constructive type theory
foundation and formalization
pp. 7-62
Cannot connect to DataBase
