Lambda calculus.

Processes, Terms and Cycles: Steps on the Road to Infinity : = Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday by: (書目-語言資料,印刷品)

Fifth Ifip International Conference On Theoretical Computer Science-Tcs 2008 by: (書目-語言資料,印刷品)

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

Pattern calculus = computing with functions and structures / by: (書目-語言資料,印刷品)

Categories for types / by: (書目-語言資料,印刷品)

The lambda calculus : = its syntax and semantics / by: (書目-語言資料,印刷品)

Language in action = categories, lambdas, and dynamic logic / by: (書目-語言資料,印刷品)

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

The logic, philosophy, and history of the lambda-calculus = theory and applications / by: (書目-語言資料,印刷品)

Software Engineering/Programming and Operating Systems.

Language and logic.

Categories (Mathematics)

Curry-Howard isomorphism.

Lambda calculus.

Data structures (Computer science)

Theory of Computation.

Logic Design.

The Computing Profession.

History of Computing.

Computer Science.

Programming Techniques.

Logics and Meanings of Programs.

Mathematical Logic and Foundations.

Models and Principles.

Mathematical Logic and Formal Languages.

Artificial Intelligence (incl. Robotics)

Formal Logic.

Functional programming (Computer science)

Rewriting systems (Computer science)

Categorial grammar.

Logic, Symbolic and mathematical.

Abstract data types (Computer science)

Mathematical linguistics.

Analytic Philosophy.

Proof theory.

Machine theory.

The Computer Industry.

Programming Languages, Compilers, Interpreters.