Shelfclass_id |
3.A |
Sortkey |
TLCA |
Authors |
Editors: Marc Bezem, Jan Friso Groote |
Title |
TLCA 1993: Typed Lambda Calculi and Applications: International Conference on Typed Lambda Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, The Netherlands, Proceedings |
Publisher |
Springer-Verlag |
Year |
1993 |
Languages |
eng |
Isbn |
0387565175, 3540565175 |
Series |
Lecture Notes in Computer Science |
Volume |
664 |
Issn |
0302-9743 |
Description |
viii, 432 p. ill. 24 cm |
Record date |
20110307 |
Location |
New York |
Keywords |
Lambda calculus, Congresses |
Urlnote |
Publisher description |
Urls |
http://www.loc.gov/catdir/enhancements/fy0815/93021883-d.html |