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: (Language materials, printed)

Fifth Ifip International Conference On Theoretical Computer Science-Tcs 2008 by: (Language materials, printed)

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

Pattern calculus = computing with functions and structures / by: (Language materials, printed)

Categories for types / by: (Language materials, printed)

The lambda calculus : = its syntax and semantics / by: (Language materials, printed)

Language in action = categories, lambdas, and dynamic logic / by: (Language materials, printed)

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

The logic, philosophy, and history of the lambda-calculus = theory and applications / by: (Language materials, printed)

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.