Title: Proofs and types
Subjects: Computer programming, Symbolic and mathematical Logic, Type theory, Proof theory, Calculus, Lambda calculus