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

by Jean-Louis Krivine
Venue:ARCHIVE OF MATHEMATICAL LOGIC
Citations:34 - 9 self