A Notion of Classical Pure Type System (1997)

by Gilles Barthe, John Hatcliff, Morten Heine Srensen
Venue:Proc. of 13th Ann. Conf. on Math. Found. of Programming Semantics, MFPS'97