CZF does not have the existence property. - Andrew W. Swan (Ann. Pure Appl. Log., 2014)

An algebraic weak factorisation system on 01-substitution sets: a constructive proof. - Andrew Wakelin Swan (J. Log. Anal., 2016)

Unifying Cubical Models of Univalent Type Theory. - Evan Cavallo; Anders Mörtberg; Andrew W. Swan (CSL, 2020)

Lifschitz Realizability as a Topological Construction. - Michael Rathjen; Andrew W. Swan (J. Symb. Log., 2020)

On Church's thesis in cubical assemblies. - Andrew W. Swan; Taichi Uemura (Math. Struct. Comput. Sci., 2021)

Definable and Non-definable Notions of Structure. - Andrew W. Swan (CoRR, 2022)

Double negation stable h-propositions in cubical sets. - Andrew W. Swan (CoRR, 2022)

On the Nielsen-Schreier Theorem in Homotopy Type Theory. - Andrew W. Swan (Log. Methods Comput. Sci., 2022)

A class of higher inductive types in Zermelo-Fraenkel set theory. - Andrew W. Swan (Math. Log. Q., 2022)

A categorical formulation of Kraus' paradox. - Andrew W. Swan (CoRR, 2024)

Oracle modalities. - Andrew W. Swan (CoRR, 2024)