Sabatier - PDFSEARCH.IO - Document Search Engine

Sabatier
Results: 128

#	Item
21	Univalent categories and the Rezk completion Benedikt Ahrens joint work with Krzysztof Kapulkin and Michael Shulman Institut de Recherche en Informatique de Toulouse Université Paul Sabatier Add to Reading List Source URL: benedikt-ahrens.de Language: English - Date: 2013-11-26 16:54:57
22	Models of type theory in univalent mathematics B. Ahrens, about jww P. LeF. Lumsdaine, V. Voevodsky Institut de Recherche en Informatique de Toulouse Université Paul Sabatier Add to Reading List Source URL: benedikt-ahrens.de Language: English - Date: 2015-08-31 05:41:10
23	Comodules over relative comonads for streams and infinite matrices Benedikt Ahrens joint work with Régis Spadotti Institut de Recherche en Informatique de Toulouse Université Paul Sabatier Add to Reading List Source URL: benedikt-ahrens.de Language: English - Date: 2014-05-06 15:14:36
24	Applying the B Formal Method to the Bossa Domain-Specific Language Jean-Paul Bodeveix Mamoun Filali IRIT Universit´e Paul Sabatier {bodeveix,filali}@irit.fr Add to Reading List Source URL: pages.lip6.fr Language: English - Date: 2011-12-17 11:25:22
25	Vérification automatique de propriétés d’ordonnanceurs Bossa J.-P. Bodeveix, M. Filali IRIT Université Paul Sabatier 118 route de Narbonne FToulouse cedex Add to Reading List Source URL: pages.lip6.fr Language: French - Date: 2011-12-17 11:25:19
26	Université Paul Sabatier L3 MAF “Algèbre 1” : TD no Add to Reading List Source URL: www.math.univ-toulouse.fr Language: French - Date: 2012-11-20 02:20:15
27	Utilisation des radio-éléments pour la datation des sédiments : rétro-observation Pierre Sabatier EDYTEM Add to Reading List Source URL: www-lsm.in2p3.fr Language: French - Date: 2016-02-02 09:07:54
28	Models of type theory in univalent mathematics B. Ahrens, about jww P. LeF. Lumsdaine, V. Voevodsky Institut de Recherche en Informatique de Toulouse Université Paul Sabatier 2015–06–30 Add to Reading List Source URL: hott-uf.gforge.inria.fr Language: English - Date: 2015-07-04 05:53:39
29	A Remark on Hypercontractivity and Tail Inequalities for the Largest Eigenvalues of Random Matrices Michel Ledoux Institut de Math´ematiques, Universit´e Paul Sabatier, 31062 Toulouse, France E-mail: -tl Add to Reading List Source URL: www.math.univ-toulouse.fr Language: English - Date: 2007-12-14 05:26:39
30	N° d’ordre : 3622 UNIVERSITE TOULOUSE III - PAUL SABATIER U.F.R. M.I.G. THESE Add to Reading List Source URL: www.cril.univ-artois.fr Language: French - Date: 2013-05-03 03:00:00

UPDATE