Christian Sattler references

N. Gambino and C. Sattler

Uniform fibrations and the Frobenius condition

http://arxiv.org/abs/1510.00669

 

C. Kapulkin, P. Lumsdaine, V. Voevodsky

Univalence in simplicial sets

http://arxiv.org/abs/1203.2553

 

T. Coquand, Cubical type theory

http://www.cse.chalmers.se/~coquand/face.pdf

 

C. Cohen, T. Coquand, S. Huber, A. Moertberg

Cubical type theory: a constructive interpretation of the univalence axiom

http://www.math.ias.edu/~amortberg/papers/cubicaltt.pdf

 

Andrew Swan, An algebraic weak factorisation system on 01-substitution sets: a constructive proof

http://arxiv.org/abs/1409.1829

 

Share this page:

Contact details

Department of Mathematics
University of Leicester
University Road
Leicester LE1 7RH
United Kingdom

Tel.: +44 (0)116 229 7407

Campus Based Courses

Undergraduate: mathsug@le.ac.uk
Postgraduate Taught: mathspg@le.ac.uk

Postgraduate Research: pgrmaths@le.ac.uk

Distance Learning Course  

Actuarial Science:

DL Study

Student complaints procedure

AccessAble logo

The University of Leicester is committed to equal access to our facilities. DisabledGo has detailed accessibility guides for College House and the Michael Atiyah Building.