Concepedia

Andrew Swan

AS

5

Publications

78

Citations

5

H-Index

2014

Active since

Affiliations

University of Cambridge(Current)

Andrew Swan is an author at University of Cambridge specializing in formal methods.

ORCID

Top concepts

Publications per year

2014–2020

5

Publications

5

Random Spanning Forests and Hyperbolic Symmetry

Roland Bauerschmidt, Nicholas Crawford, Tyler Helmuth et al. · Apollo (University of Cambridge) · 2019 · 29 citations · Full text

Dynkin isomorphism and Mermin–Wagner theorems for hyperbolic sigma models and recurrence of the two-dimensional vertex-reinforced jump process

Roland Bauerschmidt, Tyler Helmuth, Andrew Swan · Bristol Research (University of Bristol) · 2019 · 18 citations · Full text

W-Types with Reductions and the Small Object Argument

Andrew Swan · arXiv (Cornell University) · 2018 · 11 citations · Full text

, , +7

CZF does not have the existence property

Andrew Swan · Annals of Pure and Applied Logic · 2014 · 10 citations · Full text

Unifying Cubical Models of Univalent Type Theory

Evan Cavallo, Anders Mörtberg, Andrew Swan · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2020 · 10 citations · Full text

, , +6

Rows per page

1–5 of 5