Bibliographic Citation
| - Aczel Peter, Ahrens Benedikt, Altenkirch Thorsten, Awodey Steve, Barras Bruno, Bauer Andrej, Bertot Yves, Bezem Marc, Coquand Thierry, Finster Eric, Grayson Daniel, Herbelin Hugo, Joyal André, Licata Dan, Lumsdaine Peter, Mahboubi Assia, Martin-Löf Per, Melikhov Sergey, Pelayo Alvaro, Polonsky Andrew, Shulman Michael, Sozeau Matthieu, Spitters Bas, Van Den Berg Benno, Voevodsky Vladimir, Warren Michael, Angiuli Carlo, Bordg Anthony, Brunerie Guillaume, Kapulkin Chris, Rijke Egbert, Sojakova Kristina, Avigad Jeremy, Cohen Cyril, Constable Robert, Curien Pierre-Louis, Dybjer Peter, Escardó Martín, Hou Kuen-Bang, Gambino Nicola, Garner Richard, Gonthier Georges, Hales Thomas, Harper Robert, Hofmann Martin, Hofstra Pieter, Koch Joachim, Kraus Nicolai, Li Nuo, Luo Zhaohui, Nahas Michael, Palmgren Erik, Riehl Emily, Scott Dana, Scott Philip, Soloviev Sergei. Homotopy Type Theory: Univalent Foundations of Mathematics. Aucun, pp.448, 2013
- Aczel Peter, Ahrens Benedikt, Altenkirch Thorsten, Awodey Steve, Barras Bruno, Bauer Andrej, Bertot Yves, Bezem Marc, Coquand Thierry, Finster Eric, Grayson Daniel, Herbelin Hugo, Joyal André, Licata Dan, Lumsdaine Peter, Mahboubi Assia, Martin-Löf Per, Melikhov Sergey, Pelayo Alvaro, Polonsky Andrew, Shulman Michael, Sozeau Matthieu, Spitters Bas, van den Berg Benno, Voevodsky Vladimir, Warren Michael, Angiuli Carlo, Bordg Anthony, Brunerie Guillaume, Kapulkin Chris, Rijke Egbert, Sojakova Kristina, Avigad Jeremy, Cohen Cyril, Constable Robert, Curien Pierre-Louis, Dybjer Peter, Escardó Martín, Hou Kuen-Bang, Gambino Nicola, Garner Richard, Gonthier Georges, Hales Thomas, Harper Robert, Hofmann Martin, Hofstra Pieter, Koch Joachim, Kraus Nicolai, Li Nuo, Luo Zhaohui, Nahas Michael, Palmgren Erik, Riehl Emily, Scott Dana, Scott Philip, Soloviev Sergei . Homotopy Type Theory: Univalent Foundations of Mathematics . The Univalent Foundations Program Institute for Advanced Study, pp.1--587, 2013
|