Curry-Howard isomorphism.

Adapting Proofs-as-Programs = The Curry-Howard Protocol / by: (書目-語言資料,印刷品)

Lectures on the Curry-Howard isomorphism by: (書目-語言資料,印刷品)

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.