Types for Proofs and Programs: International Workshop, TYPES’99 Lökeberg, Sweden, June 12–16, 1999 Selected Papers
- Author
- Andreas Abel (auth.), Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Language
- English
- Edition
- 1
- Year
- 2000
- Page
- 197
- ISBN
- 3540415173,9783540415176
- File Type
- pdf
- File Size
- 1.4 MiB
How to Download?!!!
Just click on START button on Telegram Bot