Harold Simmons

Identifiers

Open LibraryOL30373A

Top Subjects

Proof theory (2)
Lambda calculus (1)
Type theory (1)
Curry-Howard isomorphism (1)
Categories (Mathematics) (1)
MATHEMATICS / Logic (1)

Books by Harold Simmons

Total count: 4

Derivation and computationtaking the Curry-Howard correspondence seriously

Cambridge University Press2000-01-01
Proof TheoryA Selection of Papers from the Leeds Proof Theory Programme 1990

Cambridge University Press2008-01-01
An introduction to category theory

Cambridge University Press2011-01-01
Introduction to Category Theory

Cambridge University Press2011-01-01