Home > Types for Proofs and Programs: International Workshop, TYPES' 99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers
Types for Proofs and Programs: International Workshop, TYPES' 99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers
Book Informaton
Author
Thierry Coquand; Peter Dybjer; Bengt Nordström; Jan Smith
Series
Lecture Notes in Computer Science
Volume
1956
Year of Publication
2000
Publisher
Springer Berlin Heidelberg
City of Publication
Berlin; New York
Pages
X, 202
Language
en
ISBN
9783540415176, 9783540445579, 3540415173
ARI Id
1664951689132
This page has been accessed 6 times.
Access Options
Citation Options
Download CitationShowing 1 to 13 of 13 entries
Chapters/Headings | Author(s) | Pages | Info |
I-VI | |||
1-20 | |||
21-40 | |||
41-60 | |||
61-76 | |||
77-93 | |||
94-113 | |||
114-130 | |||
131-147 | |||
148-161 | |||
162-173 | |||
174-193 | |||
195-195 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 13 of 13 entries