Welcome to Boeklezers.nl
Boeklezers.nl is a network for social reading. We help readers discover new books and authors, and bring readers in contact with each other and with writers. Read more ».
Books
History and Philosophy of Constructive Type Theory
This survey of Martin-Lof's constructive type theory gives an account of the prehistory of type theory and its highly complex development. It offers a system... »
This survey of Martin-Lof's constructive type theory gives an account of the prehistory of type theory and its highly complex development. It offers a system... »
Idea box
