1,720,992 research outputs found
On the interaction between unrestricted union and intersection types and computational effects
Get PDF
Induction is not derivable in second order dependent type theory
No full textContains fulltext :
104046.pdf (Author’s version preprint ) (Closed access)TLCA 200
Proof Assistants: history, ideas and future
Get PDFContains fulltext :
75958.pdf (Author’s version preprint ) (Open Access
(In)consistency of Extensions of Higher Order Logic and Type Theory
Get PDFContains fulltext :
34490.pdf (Author’s version preprint ) (Open Access)TYPES 200
Introduction to Type Theory
Get PDFContains fulltext :
76160.pdf (Author’s version preprint ) (Open Access)International LerNet ALFA Summer School, 24 februari 200
Computer-ondersteund redeneren : de boekhouder steunt de denker,Computer-ondersteund redeneren
Get PDFContains fulltext :
30063_compre.pdf (Publisher’s version ) (Open Access)Inaugural address Radboud University Nijmegen26 p
- …
