Accueil InfoQ Type Theory sur InfoQ
Présentations
Flux RSS-
Notes on Type Theory for absolute beginners
This talk will provide a gentle introduction to type theory, explaining step by step how we transform source code into logical statements.