Typed lambda calculi and applications : 5th international conference, TLCA 2001, Kraków, Poland, May 2-5, 2001 : proceedings
Samson Abramsky (ed.)
Bok Engelsk 2001 International Conference on Typed Lambda Calculi and Applications
| Utgitt | Berlin : Springer , c2001
|
|---|---|
| Omfang | XI, 429 s. : fig.
|
| Emner | |
| Dewey | |
| ISBN | 3540419608
|
