Lambda calculus.

Adapting Proofs-as-ProgramsThe Curry-Howard Protocol / by: (Electronic resources)

Processes, Terms and Cycles: Steps on the Road to Infinity :Essays Dedicated to Jan Willem Klop on the Occasion of his 60th Birthday by: (Electronic resources)

Fifth Ifip International Conference On Theoretical Computer Science-Tcs 2008 by: (Electronic resources)

Pattern calculuscomputing with functions and structures / by: (Electronic resources)

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

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

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

Mathematical Logic and Foundations.

Rewriting systems (Computer science)

Mathematical Logic and Formal Languages.

History of Computing.

Theory of Computation.

Data structures (Computer science)

Computer logic.

Formal Logic.

Logic, Symbolic and mathematical.

Logics and Meanings of Programs.

Software Engineering/Programming and Operating Systems.

Machine theory.

Applications of Mathematics.

Mathematics of Computing.

Programming Techniques.

Artificial Intelligence (incl. Robotics)

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.

Proof theory.

Functional programming (Computer science)

Lambda calculus.

The Computing Profession.

Computer science

Semantic computing.

Analytic Philosophy.

Computer Science.

Probability and Statistics in Computer Science.

Curry-Howard isomorphism.

The Computer Industry.