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.
CoRR, 2024

A categorical formulation of Kraus' paradox.
CoRR, 2024

2022
A class of higher inductive types in Zermelo-Fraenkel set theory.
Math. Log. Q., 2022

On the Nielsen-Schreier Theorem in Homotopy Type Theory.
Log. Methods Comput. Sci., 2022

Double negation stable h-propositions in cubical sets.
CoRR, 2022

Definable and Non-definable Notions of Structure.
CoRR, 2022

2021
On Church's thesis in cubical assemblies.
Math. Struct. Comput. Sci., 2021

2020
Lifschitz Realizability as a Topological Construction.
J. Symb. Log., 2020

Unifying Cubical Models of Univalent Type Theory.
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.
J. Log. Anal., 2016

2014
CZF does not have the existence property.
Ann. Pure Appl. Log., 2014


  Loading...