Type Theories, Toposes and Constructive Set Theory: Predicative Aspects of AST (2000)

Cached

Download Links

by Ieke Moerdijk , Erik Palmgren
Citations:35 - 10 self