Lambda calculus with types

by

833 pages

English language

Published 2013 by Cambridge University Press.

ISBN:
978-0-521-76614-2
Copied ISBN!

View on OpenLibrary

View on Inventaire

No rating (0 reviews)

1 edition