Andrew W. Swan

According to our database, Andrew W. Swan authored at least 10 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

A categorical formulation of Kraus' paradox.

Andrew W. Swan

CoRR, 2024

2022

A class of higher inductive types in Zermelo-Fraenkel set theory.

Andrew W. Swan

Math. Log. Q., 2022

On the Nielsen-Schreier Theorem in Homotopy Type Theory.

Andrew W. Swan

Log. Methods Comput. Sci., 2022

Double negation stable h-propositions in cubical sets.

Andrew W. Swan

CoRR, 2022

Definable and Non-definable Notions of Structure.

Andrew W. Swan

CoRR, 2022

2021

On Church's thesis in cubical assemblies.

Andrew W. Swan, Taichi Uemura

Math. Struct. Comput. Sci., 2021

2020

Lifschitz Realizability as a Topological Construction.

Michael Rathjen, Andrew W. Swan

J. Symb. Log., 2020

Unifying Cubical Models of Univalent Type Theory.

Evan Cavallo, Anders Mörtberg, Andrew W. Swan

Proceedings of the 28th EACSL Annual Conference on Computer Science Logic, 2020

2016

An algebraic weak factorisation system on 01-substitution sets: a constructive proof.

Andrew Wakelin Swan

J. Log. Anal., 2016

2014

CZF does not have the existence property.

Andrew W. Swan

Ann. Pure Appl. Log., 2014