Using typed lambda calculus to implement formal systems on a machine (0)

by A Avron, F Honsell, I Mason, R Pollack
Venue:Journal of Automated Reasoning