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 |
|
