Pure type systems formalized (1993)

by James Mckinna , Robert Pollack
Venue:Proceedings of the International Conference on Typed Lambda Calculi and Applications
Citations:43 - 9 self