Introduction to combinators and λ-calculus

by J. Roger Hindley and Jonathan P. Seldin · 1 review · 1988

Reviewed by Journal Date Access
J. L. Krivine The Journal of Symbolic Logic 1988 Restricted

Metaphysics & Logic

Also by Seldin

Search PhilReviews for this title