Lambda-Calculus, Types and Models (Ellis Horwood Series in Computers & Their Applications)
by
J. L. Krivine
Hardcover
details (
USA
).
ISBN: 978-0-13-062407-9
ISBN-10: 0-13-062407-1
Ellis Horwood Ltd
· 1993