Andrew W. Swan

11 papers B 1Journal 10
YearRankTypeTitle / Venue / Authors
2024 J jnl
A categorical formulation of Kraus' paradox.
CoRR
Andrew W. Swan
2024 J jnl
Oracle modalities.
CoRR
Andrew W. Swan
2022 J jnl
A class of higher inductive types in Zermelo-Fraenkel set theory.
Math. Log. Q.
Andrew W. Swan
2022 J jnl
Definable and Non-definable Notions of Structure.
CoRR
Andrew W. Swan
2022 J jnl
Double negation stable h-propositions in cubical sets.
CoRR
Andrew W. Swan
2022 J jnl
On the Nielsen-Schreier Theorem in Homotopy Type Theory.
Log. Methods Comput. Sci.
Andrew W. Swan
2021 J jnl
On Church's thesis in cubical assemblies.
Math. Struct. Comput. Sci.
Andrew W. Swan, Taichi Uemura
2020 J jnl
Lifschitz Realizability as a Topological Construction.
J. Symb. Log.
Michael Rathjen, Andrew W. Swan
2020 J jnl
On the Nielsen-Schreier Theorem in Homotopy Type Theory.
CoRR
Andrew W. Swan
2020 B conf
Unifying Cubical Models of Univalent Type Theory.
CSL
Evan Cavallo, Anders Mörtberg, Andrew W. Swan
2014 J jnl
CZF does not have the existence property.
Ann. Pure Appl. Log.
Andrew W. Swan