A notion of classical pure type system (0)

by G Barthe, J Hatcliff, M H Srensen
Venue:In Proceedings of MFPS'97, volume 6 of Electronic Notes in Theoretical Computer Science