## Typed lambda-calculus in classical Zermelo-Fraenkel set theory (2001)

by
Jean-Louis Krivine

Venue: | ARCHIVE OF MATHEMATICAL LOGIC |

Citations: | 31 - 9 self |