Lambda-Calculus, Types and Models (Ellis Horwood Series in Computers & Their Applications)

Computers

by J. L. Krivine

Hardcover

ISBN: 978-0-13-062407-9

ISBN-10: 0-13-062407-1

Ellis Horwood Ltd · 1993