Research & Teaching
»
News
»
Research
»
Publications
»
Students
»
Coq
»
Universes
»
Equations
»
Classes
»
Program
»
PhD
»
Teaching
Who am I ?
»
Contact
»
Curriculum
TYPES 2018 Summer School - Introduction to Dependent Type Theory
Lecture 1:
Typed λ-calculi
.
Lecture 2:
The Curry-Howard Correspondence
.
Lecture 3:
Pure Type Systems
.
Copyright © 2006-2015 Matthieu Sozeau