Affiliation:
1. Dipartimento di InformaticaUniversità degli Studi di VeronaStrada le Grazie 15 37134 Verona Italy
Funder
John Templeton Foundation
Università degli Studi di Verona
Reference9 articles.
1. P.AczelandM.Rathjen Notes on constructive set theory Technical Report Institut Mittag‐Leffler 40 (2000/01).
2. A.Bauer Video tutorials for the Coq proof assistant (2011) available on the author's webpage.
3. Zorn's lemma and complete Boolean algebras in intuitionistic type theories
4. Choice Implies Excluded Middle