Some lambda calculus and type theory formalized (1999)

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