1997
A notion of classical pure type system (preliminary version)
Publication
Publication
Electronic Notes in Theoretical Computer Science Issue 6
Presented at the
Conference on the Mathematical Foundations of Programming Semantics, Pittsburgh, PA
Additional Metadata | |
---|---|
Elsevier | |
Electronic Notes in Theoretical Computer Science | |
Conference on the Mathematical Foundations of Programming Semantics | |
Barthe, G., Hatcliff, J., & Sørensen, M. H. (1997). A notion of classical pure type system (preliminary version). In Electronic Notes in Theoretical Computer Science. Elsevier. |