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).
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom