Using Typed Lambda Calculus to Implement Formal Systems on a Machine (1992)

Cached

Download Links

by Arnon Avron , Furio Honsell , Ian A. Mason , Robert Pollack
Venue:Journal of Automated Reasoning
Citations:83 - 14 self