papers
Publications (12)
math.CT2018
Lifting Problems in Grothendieck Fibrations
Andrew Swan
math.LO2018
Separating Path and Identity Types in Presheaf Models of Univalent Type Theory
Andrew Swan
math.LO2018
On Dividing by Two in Constructive Mathematics
Andrew Swan
math.LO2017
Some Brouwerian Counterexamples Regarding Nominal Sets in Constructive Set Theory
Andrew Swan
math.CT2018
Identity Types in Algebraic Model Structures and Cubical Sets
Andrew Swan
astro-ph.EP2019
Astro 2020 Science White Paper: Evolved Planetary Systems around White Dwarfs
Boris Gaensicke, Martin Barstow, Amy Bonsor +25
math.PR2017
Evidence of the Poisson/Gaudin-Mehta phase transition for banded matrices on global scales
Sheehan Olver, Andrew Swan
math.LO2019
On Church's Thesis in Cubical Assemblies
Andrew Swan, Taichi Uemura
astro-ph.EP2019
The unbiased frequency of planetary signatures around single and binary white dwarfs using ${\it Spitzer}$ and ${\it Hubble}$
Thomas G. Wilson, Jay Farihi, Boris T. Gänsicke +1
astro-ph.SR2019
Most white dwarfs with detectable dust discs show infrared variability
Andrew Swan, Jay Farihi, Thomas G. Wilson
math.LO2016
An Algebraic Weak Factorisation System on 01-Substitution Sets: A Constructive Proof
Andrew Swan
math.CT2018
W-Types with Reductions and the Small Object Argument
Andrew Swan