Home > Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA ' 95, Edinburgh, United Kingdom, April 10 - 12, 1995. Proceedings
Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA ' 95, Edinburgh, United Kingdom, April 10 - 12, 1995. Proceedings
Book Informaton
Author
Mariangiola Dezani-Ciancaglini; Gordon Plotkin
Series
Lecture Notes in Computer Science
Volume
902
Year of Publication
1995
Publisher
Springer Berlin Heidelberg
City of Publication
Berlin; New York
Pages
VIII, 452
Language
EN
ISBN
9783540590484, 9783540491781, 354059048X, 038759048X
ARI Id
1664614470992
This page has been accessed 7 times.
Access Options
Citation Options
Download CitationShowing 1 to 20 of 31 entries
Chapters/Headings | Author(s) | Pages | Info |
1-15 | |||
16-31 | |||
32-46 | |||
47-62 | |||
63-77 | |||
78-93 | |||
94-108 | |||
109-123 | |||
124-138 | |||
139-153 | |||
154-170 | |||
171-185 | |||
186-200 | |||
201-215 | |||
216-234 | |||
235-248 | |||
249-265 | |||
266-278 | |||
279-296 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 31 entries
Topics