Travelled to:1 × Brazil
1 × USA
Collaborated with:∅ B.Ahrens V.Voevodsky A.S.Green N.J.Ross P.Selinger B.Valiron
Talks about:theori (2) type (2) intension (1) structur (1) categori (1) scalabl (1) quipper (1) quantum (1) program (1) languag (1)
Person: Peter LeFanu Lumsdaine
DBLP: Lumsdaine:Peter_LeFanu
Contributed to:
2013
2009
2017Wrote 3 papers:
- PLDI-2013-GreenLRSV #named #programming language #quantum #scalability
- Quipper: a scalable quantum programming language (ASG, PLL, NJR, PS, BV), pp. 333–342.
- TLCA-2009-Lumsdaine #type system
- Weak ω-Categories from Intensional Type Theory (PLL), pp. 172–187.
- CSL-2017-AhrensLV #category theory #type system
- Categorical Structures for Type Theory in Univalent Foundations (BA, PLL, VV), p. 16.