Herbelin - PDFSEARCH.IO - Document Search Engine

Herbelin
Results: 25

#	Item
1	An intuitionistic logic that proves Markov’s principle Hugo Herbelin INRIA - PPS 23 avenue d’Italie FParis Cedex 13 Add to Reading List Source URL: www.cs.ru.nl - Date: 2011-10-04 07:32:01
2	An Intuitionistic Logic That Proves Markov’s Principle Hugo Herbelin INRIA - PPS Paris, France Add to Reading List Source URL: www.cs.ru.nl - Date: 2011-12-23 04:39:18
3	Classical Call-by-need and duality Zena M. Ariola & Hugo Herbelin & Alexis Saurin University of Oregon & Laboratoire PPS, équipe πr2 , CNRS, INRIA & Université Paris Diderot Add to Reading List Source URL: ix.cs.uoregon.edu Language: English - Date: 2012-04-03 00:03:16
4	Walking through infinite trees with mixed induction and coinduction Keiko Nakata Institute of Cybernetics, Tallinn (Joint work with Tarmo Uustalu and many thanks to T. Altenkirch and H. Herbelin ) Add to Reading List Source URL: www.cs.ioc.ee Language: English - Date: 2010-10-18 14:54:57
5	An inductive dependently-typed construction of simplicial sets and of similar presheaves over a Reedy category Hugo Herbelin 29 JuneHoTT-UF 2015 Add to Reading List Source URL: hott-uf.gforge.inria.fr Language: English - Date: 2015-07-02 06:13:20
6	Artiste : Joseph Herbelin Technique et support: Aquatinte, plaques découpées Add to Reading List Source URL: bohalbirk.com - Date: 2012-04-24 06:38:46
7	Artiste : Joseph Herbelin Technique et support: Aquatinte, plaques découpées Add to Reading List Source URL: www.bohalbirk.com - Date: 2012-04-24 06:38:46
8	Artiste : Joseph Herbelin Papier : Salland 300 gr. 76x56 cm Add to Reading List Source URL: bohalbirk.com - Date: 2012-04-24 06:38:58
9	Artiste : Joseph Herbelin Papier : Salland 300 gr. 76x56 cm Add to Reading List Source URL: www.bohalbirk.com - Date: 2012-04-24 06:38:58
10	Artiste : Joseph Herbelin Nationalité: Française Titre de l’œuvre : YouPrint Add to Reading List Source URL: bohalbirk.com - Date: 2012-04-24 06:39:27

UPDATE