Title: Derivation and computation
Subjects: Curry-Howard isomorphism, Lambda calculus, Proof theory, Type theory, Computer science