Choice and uniformity in weak applicative theories (2005)

Cached

Download Links

by Andrea Cantini
Venue:Logic Colloquium ’01
Citations:11 - 0 self