Summary goes here
Shranjeno v:
| Format: | Knjiga |
|---|---|
| Jezik: | angleščina |
| Teme: | |
| Oznake: |
Označite
Brez oznak, prvi označite!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | ab499a87-c679-4eed-99de-c4d2cceb4554 |
| isbn | 3540626883 9783540626886 |
| 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 Lambda calculus Lambda-calcul Lambda-calcul Lambda calculus. Typisierter Lambda-Kalkül Kongress Lambda-calculus. Computerwiskunde. Programacao de computadores. Lambda-calcul Kongress Conference papers and proceedings. Nancy (1997) |