Revisiting the categorical interpretation of dependent type theory Pierre-Louis Curien πr2 team, PPS Laboratory, CNRS, Universit´e Paris Diderot, and INRIA Richard Garner Macquarie University, Sydney

First Page		Document Content
Date: 2013-03-14 09:51:59		Revisiting the categorical interpretation of dependent type theory Pierre-Louis Curien πr2 team, PPS Laboratory, CNRS, Universit´e Paris Diderot, and INRIA Richard Garner Macquarie University, Sydney Add to Reading List Source URL: perso.ens-lyon.fr Download Document from Source Website File Size: 245,53 KB Share Document on Facebook