DS-2023-03: Paßmann, Robert (2023) Logical Structure of Constructive Set Theories. Doctoral thesis, University of Amsterdam.
MoL-2018-03: Paßmann, Robert (2018) Loyalty and Faithfulness of Model Constructions for Constructive Set Theory. [Report]