Funder
Fondazione Cassa di Risparmio di Verona Vicenza Belluno e Ancona
Subject
Computer Science Applications,Information Systems,Signal Processing,Theoretical Computer Science
Reference37 articles.
1. Aspects of general topology in constructive set theory;Aczel;Ann. Pure Appl. Log.,2006
2. Notes on constructive set theory;Aczel,2000
3. Zorn's lemma and complete Boolean algebras in intuitionistic type theories;Bell;J. Symb. Log.,1997
4. Intuitionistic Set Theory;Bell,2014