Summary goes here
Saved in:
| Format: | Book |
|---|---|
| Language: | English |
| Subjects: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | ab499a87-c679-4eed-99de-c4d2cceb4554 |
| isbn | 3540626883 |
| issn | |
| language | eng |
| physical | viii, 404 pages :illustrations ;24 cm. |
| publication | – publisher: Springer dateOfPublication: 1997 |
| publishDate | 1997 |
| subjects | |
| title | Typed lambda calculi and applications : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 : proceedings / Philippe de Groote, J. Roger Hindley (eds.). |
| topic | Lambda calculus. Conference papers and proceedings. |