|
|
|
|
| LEADER |
00960nam a22002651 4500 |
| 001 |
PPN016558243 |
| 005 |
20031222212700.0 |
| 009 |
DYNIX_BUNAN_155504 |
| 010 |
|
1 |
|a 3-540-56517-5
|
| 100 |
0 |
0 |
|a 19941205d1993 u0frey0103 ba
|
| 101 |
0 |
0 |
|a eng
|
| 102 |
0 |
0 |
|a DE
|
| 200 |
1 |
|
|a Typed Lambda calculi and applications
|e International conference on ... March 16-18, 1993, Utrecht. Proceedings
|
| 210 |
|
|
|a Berlin
|c Springer-Verlag
|d 1993
|
| 215 |
0 |
0 |
|a VIII-432 p.
|d 24 cm
|
| 225 |
|
|
|a Lecture notes in computer science
|v 664
|
| 517 |
1 |
|
|a TLCA 93
|
| 606 |
|
|
|a Lambda-calcul
|x congrès
|
| 702 |
0 |
0 |
|a Bezem
|b Marc
|4 340
|
| 702 |
|
1 |
|a Groote
|b Jan Friso
|4 340
|
| 710 |
1 |
2 |
|a International conference on typed lambda calculi and applications
|e Utrecht
|f 1993
|
| 801 |
|
|
|a FR
|b DYNIX_BUNAN
|c 19941213
|g AFNOR
|
| 979 |
|
|
|a SCI
|
| 993 |
|
|
|a 1160608312
|b SCI
|c 510.56 TYP
|d EM
|e MAT12
|f I
|g 01-12-1993
|h 09-07-1999
|i 02-07-2003
|k 46.04
|o 12-11-2003
|p 5
|s 060831
|t EM
|u SCMA12
|v i
|
| 998 |
|
|
|a 199285
|
Nantilus
