11![Categorical structures in type theory, in (univalent) type theory B. Ahrens about j. w. w. P. LeF. Lumsdaine, V. Voevodsky 2016–05–20 Categorical structures in type theory, in (univalent) type theory B. Ahrens about j. w. w. P. LeF. Lumsdaine, V. Voevodsky 2016–05–20](https://www.pdfsearch.io/img/c23f486cd414762ea6e15478701b32bd.jpg) | Add to Reading ListSource URL: benedikt-ahrens.deLanguage: English - Date: 2016-05-21 10:05:52
|
---|
12![HOMOTOPY LIMITS IN TYPE THEORY JEREMY AVIGAD, KRZYSZTOF KAPULKIN, AND PETER LEFANU LUMSDAINE Abstract. Working in homotopy type theory, we provide a systematic study of homotopy limits of diagrams over graphs, formalized HOMOTOPY LIMITS IN TYPE THEORY JEREMY AVIGAD, KRZYSZTOF KAPULKIN, AND PETER LEFANU LUMSDAINE Abstract. Working in homotopy type theory, we provide a systematic study of homotopy limits of diagrams over graphs, formalized](https://www.pdfsearch.io/img/1b46cda58823e45b8e91278b5e5a5878.jpg) | Add to Reading ListSource URL: peterlefanulumsdaine.comLanguage: English - Date: 2016-04-19 10:06:33
|
---|
13![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 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](https://www.pdfsearch.io/img/818987d4599af052a4a3bf216c609ed7.jpg) | Add to Reading ListSource URL: benedikt-ahrens.deLanguage: English - Date: 2015-08-31 05:41:10
|
---|
14![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 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](https://www.pdfsearch.io/img/c4c2de0a88ac56d8075ee5ac85a35898.jpg) | Add to Reading ListSource URL: hott-uf.gforge.inria.frLanguage: English - Date: 2015-07-04 05:53:39
|
---|
15![THE UNIVALENCE AXIOM AND FUNCTIONAL EXTENSIONALITY TALK BY NICOLA GAMBINO; NOTES BY C. KAPULKIN, P. LEF. LUMSDAINE These notes were taken and LATEX’d by Chris Kapulkin and Peter LeFanu Lumsdaine, from Nicola Gambino’ THE UNIVALENCE AXIOM AND FUNCTIONAL EXTENSIONALITY TALK BY NICOLA GAMBINO; NOTES BY C. KAPULKIN, P. LEF. LUMSDAINE These notes were taken and LATEX’d by Chris Kapulkin and Peter LeFanu Lumsdaine, from Nicola Gambino’](https://www.pdfsearch.io/img/bcf011a9742f27fc4225b4426b2572a7.jpg) | Add to Reading ListSource URL: www.pitt.eduLanguage: English - Date: 2012-03-15 14:09:14
|
---|
16![Tools of the Tool Makers Joseph A. Cottam Andrew Lumsdaine Indiana University Tools of the Tool Makers Joseph A. Cottam Andrew Lumsdaine Indiana University](https://www.pdfsearch.io/img/223b4e3cb06815396465e4ff70dad273.jpg) | Add to Reading ListSource URL: vw.indiana.eduLanguage: English - Date: 2006-04-16 09:06:42
|
---|
17![Lifting Sequential Graph Algorithms for Distributed-Memory Parallel Computation Douglas Gregor Andrew Lumsdaine Lifting Sequential Graph Algorithms for Distributed-Memory Parallel Computation Douglas Gregor Andrew Lumsdaine](https://www.pdfsearch.io/img/061ec4ff6062e7313cfb8df8e1543300.jpg) | Add to Reading ListSource URL: www.crest.iu.eduLanguage: English - Date: 2016-02-09 16:05:11
|
---|
18![The Design and Implementation of a Multi-level Content-Addressable Checkpoint File System Abhishek Kulkarni∗† , Adam Manzanares† , Latchesar Ionkov† , Michael Lang† , Andrew Lumsdaine∗ ∗ Indiana University The Design and Implementation of a Multi-level Content-Addressable Checkpoint File System Abhishek Kulkarni∗† , Adam Manzanares† , Latchesar Ionkov† , Michael Lang† , Andrew Lumsdaine∗ ∗ Indiana University](https://www.pdfsearch.io/img/e08032b639ff3ce400dea1bbd991414f.jpg) | Add to Reading ListSource URL: www.cs.indiana.eduLanguage: English - Date: 2012-08-20 01:06:25
|
---|
19![2014 Election Results Arnold Lumsdaine Vice Chair Paul W. Humrickhouse 2014 Election Results Arnold Lumsdaine Vice Chair Paul W. Humrickhouse](https://www.pdfsearch.io/img/59c0518f0613c9cb74b64911f3f576c2.jpg) | Add to Reading ListSource URL: fed.ans.org- Date: 2014-04-25 16:57:33
|
---|
20![Characterizing the Influence of System Noise on Large-Scale Applications by Simulation Torsten Hoefler, Timo Schneider, Andrew Lumsdaine T. Hoefler, T. Schneider, L. Lumsdaine: Influence of System Noise on Large-Scale Ap Characterizing the Influence of System Noise on Large-Scale Applications by Simulation Torsten Hoefler, Timo Schneider, Andrew Lumsdaine T. Hoefler, T. Schneider, L. Lumsdaine: Influence of System Noise on Large-Scale Ap](https://www.pdfsearch.io/img/58773f2bb135fffb4fbe76e0aa417ad4.jpg) | Add to Reading ListSource URL: htor.inf.ethz.ch- Date: 2012-11-23 05:02:46
|
---|