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)

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

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

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

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

Rewriting systems (Computer science)

Mathematical Logic and Formal Languages.

Mathematical Logic and Foundations.

History of Computing.

Theory of Computation.

Categorial grammar.

Logic, Symbolic and mathematical.

Machine theory.

Logics and Meanings of Programs.

Software Engineering/Programming and Operating Systems.

Artificial Intelligence (incl. Robotics)

Programming Techniques.

Abstract data types (Computer science)

Logic Design.

Programming Languages, Compilers, Interpreters.

Models and Principles.

Lambda calculus.

Mathematical linguistics.

Functional programming (Computer science)

Proof theory.

The Computing Profession.

Computer science- Mathematics.

Semantic computing.

Computer Science.

Probability and Statistics in Computer Science.

Language and logic.

Curry-Howard isomorphism.

The Computer Industry.