Details:
Title | | Author(s) | Thierry Coquand, Henrik Persson | Type | Book, Chapter in Book, Conference Proceeding | Abstract | |
Language | English | Journal | Lectures Notes in Computer Science | Volume | 1657 | Pages | p. 33 | Publisher | Springer-Verlag GmbH | Year | 1999 | Editor | T. Altenkirch, W. Naraschewski, B. Reus | Edition | 0 | Translation |
No | Refereed |
No | Book | Types for Proofs and Programs: International Workshop, TYPES '98 |
|