Curry-Howard isomorphism.

Adapting Proofs-as-Programs = The Curry-Howard Protocol / by: (Language materials, printed)

Lectures on the Curry-Howard isomorphism by: (Language materials, printed)

Software Engineering/Programming and Operating Systems.

Functional programming (Computer science)

Curry-Howard isomorphism.

Logic, Symbolic and mathematical.

Lambda calculus.

Abstract data types (Computer science)

Proof theory.

Logic Design.

Computer Science.

Programming Techniques.

Logics and Meanings of Programs.

Mathematical Logic and Foundations.

Models and Principles.