## Some lambda calculus and type theory formalized (1999)

### Cached

### Download Links

by
James Mckinna
,
Robert Pollack

Venue: | Journal of Automated Reasoning |

Citations: | 53 - 7 self |