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: (書目-電子資源)

Adapting Proofs-as-Programs = The Curry-Howard Protocol / by: (書目-電子資源)

Pattern calculus = computing with functions and structures / by: (書目-電子資源)

Fifth Ifip International Conference On Theoretical Computer Science-Tcs 2008 by: (書目-電子資源)

Software Engineering/Programming and Operating Systems.

Curry-Howard isomorphism.

Lambda calculus.

Data structures (Computer science)

Machine theory.

Proof theory.

Theory of Computation.

Logic Design.

The Computing Profession.

History of Computing.

The Computer Industry.

Computer Science.

Programming Techniques.

Programming Languages, Compilers, Interpreters.

Logics and Meanings of Programs.

Mathematical Logic and Foundations.

Mathematical Logic and Formal Languages.

Models and Principles.

Artificial Intelligence (incl. Robotics)

Rewriting systems (Computer science)

Functional programming (Computer science)

Logic, Symbolic and mathematical.

Abstract data types (Computer science)