Typed lambda calculi and applications : 4th international conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999 : proceedings
Jean-Yves Girard (ed.)
Bok Engelsk 1999 International Conference on Typed Lambda Calculi and Applications
| Utgitt | Berlin : Springer , c1999
|
|---|---|
| Omfang | VIII, 396 s. : ill.
|
| Emner | |
| Dewey | |
| ISBN | 3540657630
|
