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
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
This page has been accessed 7 times.
Access Options
Citation Options
Download CitationShowing 1 to 19 of 19 entries
Chapters/Headings | Author(s) | Pages | Info |
1-2 | |||
3-18 | |||
19-61 | |||
62-78 | |||
79-107 | |||
108-126 | |||
127-165 | |||
166-190 | |||
191-212 | |||
213-237 | |||
238-262 | |||
263-290 | |||
291-312 | |||
313-332 | |||
333-351 | |||
352-365 | |||
366-383 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 19 of 19 entries