Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Types for Proofs and Programs: International Workshop TYPES ' 93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers

Types for Proofs and Programs: International Workshop TYPES ' 93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers


Book Informaton

Types for Proofs and Programs: International Workshop TYPES ' 93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers

Author

Henk Barendregt; Tobias Nipkow

Series

Lecture Notes in Computer Science

Volume

806

Year of Publication

1994

Publisher

Springer Berlin Heidelberg

City of Publication

Berlin; New York

Pages

IX, 395

Language

en

ISBN

9783540580850, 9783540484400, 3540580859, 0387580859

ARI Id

1664944759626


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