Pure type systems formalized (1993)

by J McKinna, R Pollack
Venue:Typed Lambda Calculi and Applications