Thorsten Altenkirch
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
32
Venues
13
Active years
1996–2026
Best venue rank
A*
Where they publish
Papers
32 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CSL | The Groupoid-Syntax of Type Theory Is a Set. | Thorsten Altenkirch, Ambrus Kaposi, Szumi Xie |
| 2025 | ITP | Formalising Inductive and Coinductive Containers. | Stefania Damato, Thorsten Altenkirch, Axel Ljungstrm |
| 2023 | FSCD | Combinatory Logic and Lambda Calculus Are Equal, Algebraically. | Thorsten Altenkirch, Ambrus Kaposi, Artjoms Sinkarovs, Tams Vgh |
| 2021 | FOSSACS | Constructing a universe for the setoid model. | Thorsten Altenkirch, Simon Boulier, Ambrus Kaposi, Christian Sattler, Filippo Sestini |
| 2020 | LICS | The Integers as a Higher Inductive Type. | Thorsten Altenkirch, Luis Scoccola |
| 2019 | MPC | Setoid Type Theory - A Syntactic Translation. | Thorsten Altenkirch, Simon Boulier, Ambrus Kaposi, Nicolas Tabareau |
| 2018 | FOSSACS | Quotient Inductive-Inductive Types. | Thorsten Altenkirch, Paolo Capriotti, Gabe Dijkstra, Nicolai Kraus, Fredrik Nordvall Forsberg |
| 2018 | LICS | Free Higher Groups in Homotopy Type Theory. | Nicolai Kraus, Thorsten Altenkirch |
| 2017 | FOSSACS | Partiality, Revisited - The Partiality Monad as a Quotient Inductive-Inductive Type. | Thorsten Altenkirch, Nils Anders Danielsson, Nicolai Kraus |
| 2016 | CSL | Extending Homotopy Type Theory with Strict Equality. | Thorsten Altenkirch, Paolo Capriotti, Nicolai Kraus |
| 2016 | POPL | Type theory in type theory using quotient inductive types. | Thorsten Altenkirch, Ambrus Kaposi |
| 2012 | CSL | A Syntactical Approach to Weak omega-Groupoids. | Thorsten Altenkirch, Ondrej Rypacek |
| 2011 | CALCO | A Categorical Semantics for Inductive-Inductive Definitions. | Thorsten Altenkirch, Peter Morris, Fredrik Nordvall Forsberg, Anton Setzer |
| 2010 | CiE | Higher-Order Containers. | Thorsten Altenkirch, Paul Blain Levy, Sam Staton |
| 2010 | FLOPS | PiSigma: Dependent Types without the Sugar. | Thorsten Altenkirch, Nils Anders Danielsson, Andres Lh, Nicolas Oury |
| 2010 | FOSSACS | Monads Need Not Be Endofunctors. | Thorsten Altenkirch, James Chapman, Tarmo Uustalu |
| 2010 | ICFP | Hereditary Substitutions for Simple Types, Formalized. | Chantal Keller, Thorsten Altenkirch |
| 2010 | ITP | Termination Checking in the Presence of Nested Inductive and Coinductive Types. | Thorsten Altenkirch, Nils Anders Danielsson |
| 2010 | MPC | Subtyping, Declaratively. | Nils Anders Danielsson, Thorsten Altenkirch |
| 2009 | LICS | Indexed Containers. | Thorsten Altenkirch, Peter Morris |
| 2007 | HASKELL | Beauty in the beast. | Wouter Swierstra, Thorsten Altenkirch |
| 2006 | MPC | Tait in One Big Step. | Thorsten Altenkirch, James Chapman |
| 2005 | LICS | A Functional Quantum Programming Language. | Thorsten Altenkirch, Jonathan Grattage |
| 2004 | FLOPS | Normalization by Evaluation for lambda | Thorsten Altenkirch, Tarmo Uustalu |
| 2004 | ICALP | Representing Nested Inductive Types Using W-Types. | Michael Gordon Abbott, Thorsten Altenkirch, Neil Ghani |
| 2004 | MPC | Constructing Polymorphic Programs with Quotient Types. | Michael Gordon Abbott, Thorsten Altenkirch, Neil Ghani, Conor McBride |
| 2003 | FOSSACS | Categories of Containers. | Michael Gordon Abbott, Thorsten Altenkirch, Neil Ghani |
| 2001 | LICS | Normalization by Evaluation for Typed Lambda Calculus with Coproducts. | Thorsten Altenkirch, Peter Dybjer, Martin Hofmann, Philip J. Scott |
| 1999 | CSL | Monadic Presentations of Lambda Terms Using Generalized Inductive Types. | Thorsten Altenkirch, Bernhard Reus |
| 1999 | LICS | Extensional Equality in Intensional Type Theory. | Thorsten Altenkirch |
| 1998 | CSL | Logical Relations and Inductive/Coinductive Types. | Thorsten Altenkirch |
| 1996 | LICS | Reduction-Free Normalisation for a Polymorphic System. | Thorsten Altenkirch, Martin Hofmann, Thomas Streicher |