A notion of classical pure type system (preliminary version (1997)

by G Barthe, J Hatcliff, M Sørensen
Venue:Electronic Notes in Theoretical Computer Science