Thorsten Altenkirch

Identifiers

No identifiers captured yet.

Papers (6)

1. Quotient inductive-inductive types cs.LO · 2016 · author #1
2. Partiality, Revisited: The Partiality Monad as a Quotient Inductive-Inductive Type cs.LO · 2016 · author #1
3. Notions of Anonymous Existence in Martin-L\"of Type Theory cs.LO · 2016 · author #4
4. Extending Homotopy Type Theory with Strict Equality cs.LO · 2016 · author #1
5. An Algebra of Pure Quantum Programming quant-ph · 2005 · author #1
6. A functional quantum programming language quant-ph · 2004 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Nicolai Kraus 4 shared papers
• Jonathan Grattage 2 shared papers
• Paolo Capriotti 2 shared papers
• Amr Sabry 1 shared papers
• Fredrik Nordvall Forsberg 1 shared papers
• Gabe Dijkstra 1 shared papers
• Juliana K. Vizzotto 1 shared papers
• Mart\'in Escard\'o 1 shared papers
• Nils Anders Danielsson 1 shared papers
• Thierry Coquand 1 shared papers