Logic and Theoretical Computer Science
Akim Demaille akim@lrde.epita.fr
EPITA — École Pour l’Informatique et les Techniques Avancées
June 14, 2016
Logic and Theoretical Computer Science
1 Lambda calculus
2 Simply typed lambda calculus
3 Natural deduction for classical logic
4 Sequent calculus, cut elimination
5 Lambda Calculus / Deduction systems
6 Intuitionistic logic
7 Curry-Howard isomorphism
A. Demaille Logic and Theoretical Computer Science 2 / 2