We stand with Ukraine  

Andrew W. Swan

Orcid: 0000-0002-7190-4870

Affiliations:
  • University of Leeds, School of Mathematics, UK


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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Oracle modalities.
[BibTeX]
[DOI]
Andrew W. Swan
CoRR, 2024

A categorical formulation of Kraus' paradox.
[BibTeX]
[DOI]
Andrew W. Swan
CoRR, 2024

2022
A class of higher inductive types in Zermelo-Fraenkel set theory.
[BibTeX]
[DOI]
Andrew W. Swan
Math. Log. Q., 2022

On the Nielsen-Schreier Theorem in Homotopy Type Theory.
[BibTeX]
[DOI]
Andrew W. Swan
Log. Methods Comput. Sci., 2022

Double negation stable h-propositions in cubical sets.
[BibTeX]
[DOI]
Andrew W. Swan
CoRR, 2022

Definable and Non-definable Notions of Structure.
[BibTeX]
[DOI]
Andrew W. Swan
CoRR, 2022

2021
On Church's thesis in cubical assemblies.
[BibTeX]
[DOI]
Andrew W. Swan
,
Taichi Uemura
Math. Struct. Comput. Sci., 2021

2020
Lifschitz Realizability as a Topological Construction.
[BibTeX]
[DOI]
Michael Rathjen
,
Andrew W. Swan
J. Symb. Log., 2020

Unifying Cubical Models of Univalent Type Theory.
[BibTeX]
[DOI]
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.
[BibTeX]
[DOI]
Andrew Wakelin Swan
J. Log. Anal., 2016

2014
CZF does not have the existence property.
[BibTeX]
[DOI]
Andrew W. Swan
Ann. Pure Appl. Log., 2014


  Loading...