Sørensen. A notion of classical pure type system (preliminary version (1997)

by Gilles Barthe, John Hatcliff, Morten Heine
Venue:Proceedings of the Thirteenth Conference on the Mathematical Foundations of Programming Semantics, volume 6 of Electronic Notes in Theoretical Computer Science