• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 92 matches

• 2024
• 
  Thorsten Altenkirch, Yorgo Chamoun, Ambrus Kaposi, Michael Shulman:
  Internal Parametricity, without an Interval. Proc. ACM Program. Lang. 8(POPL): 2340-2369 (2024)
• 
  Stefania Damato, Thorsten Altenkirch, Axel Ljungström:
  Formalising inductive and coinductive containers. CoRR abs/2409.02603 (2024)
• 2023
• 
  Thorsten Altenkirch, Ambrus Kaposi, Artjoms Sinkarovs, Tamás Végh:
  Combinatory Logic and Lambda Calculus Are Equal, Algebraically. FSCD 2023: 24:1-24:19
• 
  Thorsten Altenkirch, Yorgo Chamoun, Ambrus Kaposi, Michael Shulman:
  Internal parametricity, without an interval. CoRR abs/2307.06448 (2023)
• 2022
• 
  Thorsten Altenkirch, Ambrus Kaposi, Artjoms Sinkarovs, Tamás Végh:
  The Münchhausen Method in Type Theory. TYPES 2022: 10:1-10:20
• 2021
• 
  Thorsten Altenkirch:
  Martin Hofmann's contributions to type theory: Groupoids and univalence. Math. Struct. Comput. Sci. 31(9): 953-957 (2021)
• 
  Thorsten Altenkirch, Simon Boulier, Ambrus Kaposi, Christian Sattler, Filippo Sestini:
  Constructing a universe for the setoid model. FoSSaCS 2021: 1-21
• 
  Ugo de'Liguoro, Stefano Berardi, Thorsten Altenkirch:
  26th International Conference on Types for Proofs and Programs, TYPES 2020, March 2-5, 2020, University of Turin, Italy. LIPIcs 188, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-182-5 [contents]
• 
  Thorsten Altenkirch:
  Should Type Theory replace Set Theory as the Foundation of Mathematics. CoRR abs/2111.06368 (2021)
• 2020
• 
  Thorsten Altenkirch, Luis Scoccola:
  The Integers as a Higher Inductive Type. LICS 2020: 67-73
• 
  Thorsten Altenkirch, Luis Scoccola:
  The Integers as a Higher Inductive Type. CoRR abs/2007.00167 (2020)
• 2019
• 
  Thorsten Altenkirch, Aleksy Schubert:
  Preface. Fundam. Informaticae 170(1-3): v-vi (2019)
• 
  Ambrus Kaposi, András Kovács, Thorsten Altenkirch:
  Constructing quotient inductive-inductive types. Proc. ACM Program. Lang. 3(POPL): 2:1-2:24 (2019)
• 
  Thorsten Altenkirch, Simon Boulier, Ambrus Kaposi, Nicolas Tabareau:
  Setoid Type Theory - A Syntactic Translation. MPC 2019: 155-196
• 
  Thorsten Altenkirch, Colin Geniet:
  Big Step Normalisation for Type Theory. TYPES 2019: 4:1-4:20
• 2018
• 
  Thorsten Altenkirch, Paolo Capriotti, Gabe Dijkstra, Nicolai Kraus, Fredrik Nordvall Forsberg:
  Quotient Inductive-Inductive Types. FoSSaCS 2018: 293-310
• 
  Jonathan Thaler, Thorsten Altenkirch, Peer-Olaf Siebers:
  Pure Functional Epidemics: An Agent-Based Approach. IFL 2018: 1-12
• 
  Nicolai Kraus, Thorsten Altenkirch:
  Free Higher Groups in Homotopy Type Theory. LICS 2018: 599-608
• 
  Nicolai Kraus, Thorsten Altenkirch:
  Free Higher Groups in Homotopy Type Theory. CoRR abs/1805.02069 (2018)
• 2017
• 
  Nicolai Kraus, Martín Escardó, Thierry Coquand, Thorsten Altenkirch:
  Notions of Anonymous Existence in Martin-Löf Type Theory. Log. Methods Comput. Sci. 13(1) (2017)
• 
  Thorsten Altenkirch, Ambrus Kaposi:
  Normalisation by Evaluation for Type Theory, in Type Theory. Log. Methods Comput. Sci. 13(4) (2017)
• 
  Thorsten Altenkirch, Nils Anders Danielsson, Nicolai Kraus:
  Partiality, Revisited - The Partiality Monad as a Quotient Inductive-Inductive Type. FoSSaCS 2017: 534-549
• 2016
• 
  Thorsten Altenkirch, Conor McBride:
  Selected papers from Dependently Typed Programming 2010 - Overview. Math. Struct. Comput. Sci. 26(1): 1-2 (2016)
• 
  Thorsten Altenkirch, Paolo Capriotti, Nicolai Kraus:
  Extending Homotopy Type Theory with Strict Equality. CSL 2016: 21:1-21:17
• 
  Thorsten Altenkirch, Ambrus Kaposi:
  Type theory in type theory using quotient inductive types. POPL 2016: 18-29
• 
  Thorsten Altenkirch, Ambrus Kaposi:
  Normalisation by Evaluation for Dependent Types. FSCD 2016: 6:1-6:16
• 
  Thorsten Altenkirch, Paolo Capriotti, Gabe Dijkstra, Fredrik Nordvall Forsberg:
  Quotient inductive-inductive types. CoRR abs/1612.02346 (2016)
• 
  Thorsten Altenkirch, Paolo Capriotti, Nicolai Kraus:
  Extending Homotopy Type Theory with Strict Equality. CoRR abs/1604.03799 (2016)
• 
  Thorsten Altenkirch, Nils Anders Danielsson, Nicolai Kraus:
  Partiality, Revisited: The Partiality Monad as a Quotient Inductive-Inductive Type. CoRR abs/1610.09254 (2016)
• 
  Thorsten Altenkirch, Ambrus Kaposi:
  Normalisation by Evaluation for Type Theory, in Type Theory. CoRR abs/1612.02462 (2016)

skipping 62 more matches