1997
Domain-free pure type systems
Publication
Publication
Presented at the
International Symposium on Logical Foundations of Computer Science, Yaroslavl, Russia
Additional Metadata | |
---|---|
, , | |
Springer | |
Lecture Notes in Computer Science | |
International Symposium on Logical Foundations of Computer Science | |
Barthe, G., & Sørensen, M. H. (1997). Domain-free pure type systems. In Logical Foundations of Computer Science (pp. 9–20). Springer. |