Lambda calculus.

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

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)

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

Semantics of the probabilistic typed lambda calculus = Markov chain semantics, termination behavior, and denotational semantics / by: (Electronic resources)

Logics and type systems in theory and practice = essays dedicated to Herman Geuvers on the occasion of his 60th birthday / by: (Electronic resources)

The logic, philosophy, and history of the lambda-calculus = theory and applications / by: (Electronic resources)

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

Lambda calculus with types / by: (Language materials, printed)

Abstract Computing Machines = A Lambda Calculus Perspective / by: (Language materials, printed)

Rewriting systems (Computer science)

Mathematical Logic and Formal Languages.

Mathematical Logic and Foundations.

History of Computing.

Theory of Computation.

Computer logic.

Formal Logic.

Categorial grammar.

Logic, Symbolic and mathematical.

Machine theory.

Logics and Meanings of Programs.

Software Engineering/Programming and Operating Systems.

Applications of Mathematics.

Mathematics of Computing.

Artificial Intelligence (incl. Robotics)

Programming Techniques.

Mathematical Applications in Computer Science.

Abstract data types (Computer science)

Logic Design.

Programming Languages, Compilers, Interpreters.

Type theory.

Computer Science Logic and Foundations of Programming.

Models and Principles.

Lambda calculus.

Mathematical linguistics.

Functional programming (Computer science)

Proof theory.

The Computing Profession.

Computer science- Mathematics.

Semantic computing.

Analytic Philosophy.

Computer Science.

Probability and Statistics in Computer Science.

Language and logic.

Curry-Howard isomorphism.

The Computer Industry.