Have you tried reading the articles linked to on this page? http://www.bris.ac.uk/arts/research/projects/homotopy-type-theory/ http://www.bris.ac.uk/arts/resear

Have you tried reading the articles linked to on this page? http://www.bris.ac.uk/arts/research/projects/homotopy-type-theory/ http://www.bris.ac.uk/arts/research/projects/homotopy-type-t...