Logic and Theoretical Computer Science
Akim Demaille akim@lrde.epita.fr
EPITA — École Pour l’Informatique et les Techniques Avancées
June 10, 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
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
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
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
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
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
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