Date: 2011-01-28 11:35:53

Mathematical logic

Deduction

Proof theory

Dependently typed programming

Type theory

Natural deduction

Entailment

Symbol

Calculus of constructions

Logic

Theoretical computer science

Lambda calculus

Embedding Pure Type Systems in the lambda-Pi-calculus modulo Denis Cousineau and Gilles Dowek ´ Ecole polytechnique and INRIA

Document is deleted from original location.
Use the Download Button below to download from the Web Archive.

File Size: 193,23 KB