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: (書目-語言資料,印刷品)

Categories (Mathematics)

Curry-Howard isomorphism.

Lambda calculus.

Theory of Computation.

Logic Design.

History of Computing.

Programming Techniques.

Logics and Meanings of Programs.

Mathematical Logic and Foundations.

Mathematical Logic and Formal Languages.

Artificial Intelligence (incl. Robotics)

Rewriting systems (Computer science)

Proof theory.

Machine theory.

Programming Languages, Compilers, Interpreters.

Models and Principles.

Software Engineering/Programming and Operating Systems.

Language and logic.

Data structures (Computer science)

The Computing Profession.

Computer Science.

Formal Logic.

Functional programming (Computer science)

Categorial grammar.

Logic, Symbolic and mathematical.

Abstract data types (Computer science)

Mathematical linguistics.

Analytic Philosophy.

The Computer Industry.