Premium
Lambda calculus with types (Perspectives in Logic)
Author(s) -
Hindley J. Roger
Publication year - 2014
Publication title -
bulletin of the london mathematical society
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 2.396
H-Index - 48
eISSN - 1469-2120
pISSN - 0024-6093
DOI - 10.1112/blms/bdu053
Subject(s) - mathematics , calculus (dental) , lambda , algebra over a field , pure mathematics , medicine , physics , dentistry , optics
By Henk Barendregt, Wil Dekkers and Richard Statman: 833 pp., £60.00 (US$90.00), ISBN 9780521766142 (Cambridge University Press, Cambridge, 2013).