The lambda calculus: its syntax and semantics /
| Autor principal: | |
|---|---|
| Formato: | Libro |
| Lenguaje: | English |
| Publicado: |
Amsterdam,
1984.
|
| Edición: | Ed. rev. -- |
| Colección: | Studies in logic and the Foundations of Mathematics ;
v. 103) |
| Materias: |