Lumsdaine

Results: 50



#Item
11Categorical 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

Add to Reading List

Source URL: benedikt-ahrens.de

Language: English - Date: 2016-05-21 10:05:52
    12HOMOTOPY 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

    Add to Reading List

    Source URL: peterlefanulumsdaine.com

    Language: English - Date: 2016-04-19 10:06:33
      13Models 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

      Add to Reading List

      Source URL: benedikt-ahrens.de

      Language: English - Date: 2015-08-31 05:41:10
        14Models 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

        Add to Reading List

        Source URL: hott-uf.gforge.inria.fr

        Language: English - Date: 2015-07-04 05:53:39
          15THE 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’

          Add to Reading List

          Source URL: www.pitt.edu

          Language: English - Date: 2012-03-15 14:09:14
            16Tools of the Tool Makers Joseph A. Cottam Andrew Lumsdaine Indiana University

            Tools of the Tool Makers Joseph A. Cottam Andrew Lumsdaine Indiana University

            Add to Reading List

            Source URL: vw.indiana.edu

            Language: English - Date: 2006-04-16 09:06:42
              17Lifting 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

              Add to Reading List

              Source URL: www.crest.iu.edu

              Language: English - Date: 2016-02-09 16:05:11
                18The 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

                Add to Reading List

                Source URL: www.cs.indiana.edu

                Language: English - Date: 2012-08-20 01:06:25
                  192014 Election Results Arnold Lumsdaine Vice Chair Paul W. Humrickhouse

                  2014 Election Results Arnold Lumsdaine Vice Chair Paul W. Humrickhouse

                  Add to Reading List

                  Source URL: fed.ans.org

                  - Date: 2014-04-25 16:57:33
                    20Characterizing 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

                    Add to Reading List

                    Source URL: htor.inf.ethz.ch

                    - Date: 2012-11-23 05:02:46