Homotopy Type TheoryPeter Aczel & Benedikt Ahrens & Thorsten Altenkirch & Steve Awodey & Bruno Barras & Andrej Bauer & Yves Bertot & Marc Bezem & Thierry Coquand & Eric Finster & Daniel Grayson & Hugo Herbelin & Andre Joyal & Dan Licata & Peter Lumsdaine & Assia Mahboubi & Per Martin-Lof & Sergey Melikhov & Alvaro Pelayo & Andrew Polonsky & Michael Shulman & Matthieu Sozeau & Bas Spitters & Benno van den Berg & Vladimir Voevodsky & Michael Warren & Noam Zeilberger2013PDF4.4 MBEN
Précis d’intervention. La sigmoïdectomie laparoscopique pour cancerGérard Champault, Hendrik Schimmelpenning2009PDF1.8 MBFR
Operation Primer 1. Laparoscopic Sigmoidectomy for CancerGérard Champault, Hendrik Schimmelpenning2008PDF13 MBEN