![Isomorphisms of types: From [lambda]-calculus to information retrieval and language design](https://www.bookpine.com/images/cover.png)
Isomorphisms of types: From [lambda]-calculus to information retrieval and language design
No ratings yet
1995
·
English
·
Hardcover