Some lambda calculus and type theory formalized (1999)

by James Mckinna , Robert Pollack
Venue:Journal of Automated Reasoning
Citations:53 - 7 self