Andrew W. Swan

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 10

Top Topics

Object Relational

Theoretical Basis

Top Venues

Math. Struct. Comput. Sci.

Ann. Pure Appl. Log.

Publications

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