Some lambda calculus and type theory formalized (1999)

by James Mckinna , Robert Pollack
Venue:Journal of Automated Reasoning
Citations:63 - 9 self