Search from the table of contents of 2.5 million books
Advanced Search (Beta)
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

Typed Lambda Calculi and Applications: Second International Conference on Typed Lambda Calculi and Applications, TLCA ' 95, Edinburgh, United Kingdom, April 10 - 12, 1995. Proceedings

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


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 7 times.
Asian Research Index Whatsapp Chanel
Asian Research Index Whatsapp Chanel

Join our Whatsapp Channel to get regular updates.

Access Options
Citation Options
Download Citation

Showing 1 to 20 of 31 entries
Showing 1 to 20 of 31 entries