Pure Type Sytems formalized (1993)

by J McKinna, R Pollack
Venue:In Proc. Int'l Conf. on Typed Lambda Calculi and Applications, Utrecht