DMCA
Using Typed Lambda Calculus to Implement Formal Systems on a Machine (1992)
by
Arnon Avron
,
Furio Honsell
,
Ian A. Mason
,
Robert Pollack
Venue: | Journal of Automated Reasoning |
Citations: | 93 - 16 self |