Choice and uniformity in weak applicative theories (2005)

View PDF

Download Links

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