Author:
Awodey Steve,Butz Carsten,Simpson Alex,Streicher Thomas
Reference47 articles.
1. The type theoretic interpretation of constructive set theory;Aczel,1978
2. Non-well-founded Sets;Aczel,1988
3. Notes on constructive set theory;Aczel,2001
4. A brief introduction to algebraic set theory;Awodey;Bull. Symbolic Logic,2008
5. Relating first-order set theories and elementary toposes;Awodey;Bull. Symbolic Logic,2007
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献