Peter LeFanu Lumsdaine

1. Quipper
   2013/04/11 by Alexander S. Green, Peter LeFanu Lumsdaine, Neil J. Ross +2 · 1 voice · 11 citations
   Computer Science · #Computability, Logic, AI Algorithms #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #cs.ET #cs.PL #quant-ph
2. An Introduction to Quantum Programming in Quipper
   2013/01/01 by Alexander S. Green, Peter LeFanu Lumsdaine, Neil J. Ross +2 · 4 voices · 2 citations
   Computer Science · Physics and Astronomy · #Quantum Computing Algorithms and Architecture #Quantum Information and Cryptography #Quantum Mechanics and Applications #cs.ET #cs.PL #quant-ph
3. The Simplicial Model of Univalent Foundations (after Voevodsky)
   2012/11/12 by Chris Kapulkin, Kapulkin, Chris, Peter LeFanu Lumsdaine +1 · 20 citations
   Mathematics · #Homotopy and Cohomology in Algebraic Topology #Algebraic structures and combinatorial models #Advanced Topics in Algebra
4. A mechanization of the Blakers-Massey connectivity theorem in Homotopy Type Theory
   2016/05/10 by Kuen-Bang Hou, Eric Finster, Hou, Kuen-Bang +5 · 4 citations
   Computer Science · Mathematics · #03B15 (Higher-order logic and type theory) #03B70 (Logic in computer science) #55U35 (Abstract and axiomatic homotopy theory) #Algebraic Topology (math.AT) #F.4.1 #FOS: Computer and information sciences #FOS: Mathematics #Geometric and Algebraic Topology #Homotopy and Cohomology in Algebraic Topology #Logic in Computer Science (cs.LO) #Logic, programming, and type systems
5. The homotopy theory of type theories
   2016/09/30 by Chris Kapulkin, Peter LeFanu Lumsdaine, Kapulkin, Chris +1 · 4 citations
   Mathematics · #18G55 Homotopical algebra (primary) 03B15 Higher-order logic &amp #Advanced Topics in Algebra #Algebraic structures and combinatorial models #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #axiomatic homotopy theory #type theory 18C50 Cat'l semantics of formal languages 55U35 Abstract &amp
6. Homotopical inverse diagrams in categories with attributes
   2018/08/06 by Chris Kapulkin, Peter LeFanu Lumsdaine, Kapulkin, Chris +1 · 1 citation
   Computer Science · Mathematics · #03B15 Higher-order logic and type theory (primary) #03G30 Categorical logic #18C50 Categorical semantics of formal languages #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Logic (math.LO) #Logic, programming, and type systems #Topological and Geometric Data Analysis #topoi