Curry-Howard isomorphism.

Adapting Proofs-as-Programs = The Curry-Howard Protocol / by: (Electronic resources)

Software Engineering/Programming and Operating Systems.

Functional programming (Computer science)

Curry-Howard isomorphism.

Logic, Symbolic and mathematical.

Models and Principles.

Mathematical Logic and Foundations.

Logics and Meanings of Programs.

Abstract data types (Computer science)

Lambda calculus.

Proof theory.

Logic Design.

Programming Techniques.

Computer Science.