Lecture Notes in Computer Science
Volume 996, 1995, DOI: 10.1007/3-540-60579-7

Types for Proofs and Programs
International Workshop TYPES '94 Båstad, Sweden, June 6–10, 1994 Selected Papers

Peter Dybjer, Bengt Nordström and Jan Smith

Contents

Viewing all 10 chapters

About This Book

Title
Types for Proofs and Programs
International Workshop TYPES '94 Båstad, Sweden, June 6–10, 1994 Selected Papers
Editors
Collection
Computer Science
Subjects
None Assigned
Copyright Year
1995
DOI
10.1007/3-540-60579-7
ISBN
978-3-540-60579-9
Additional Links
Publisher
Springer Berlin / Heidelberg
SpringerLink Date
Friday, January 20, 2006

About This Book Series

Title
Lecture Notes in Computer Science
Coverage
Volume 1 / 1973 - Volume 7260 / 2012
Collection
Computer Science
Subjects
ISSN
0302-9743 (Print)
1611-3349 (Online)
Additional Links
Publisher
Springer Berlin / Heidelberg
SpringerLink Date
Friday, April 05, 2002