Publications & Preprints

No. Author(s) Title Preprint
(arXiv)
Publication
(MathSciNet)
2018b01 Petrakis, Iosif Dependent sums and dependent products in Bishop's set theory Preprint  
2019b02 Afshari, Bahareh; Jäger, Gerhard; Leigh, Graham E. An Infinitary Treatment of Full Mu-Calculus   WoLLIC 2019: 17-34