default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID25th TYPES 2019: Oslo, Norway
- Marc Bezem, Assia Mahboubi:
25th International Conference on Types for Proofs and Programs, TYPES 2019, Oslo, Norway, June 11-14, 2019. LIPIcs 175, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-158-0 - Front Matter, Table of Contents, Preface, Conference Organization. 0:1-0:10
- Michael Kohlhase
, Florian Rabe, Makarius Wenzel:
Making Isabelle Content Accessible in Knowledge Representation Formats. 1:1-1:24 - Jesper Cockx:
Type Theory Unchained: Extending Agda with User-Defined Rewrite Rules. 2:1-2:27 - Sandra Alves, Delia Kesner, Daniel Ventura:
A Quantitative Understanding of Pattern Matching. 3:1-3:36 - Thorsten Altenkirch, Colin Geniet:
Big Step Normalisation for Type Theory. 4:1-4:20 - Gun Pinyo, Nicolai Kraus:
From Cubes to Twisted Cubes via Graph Morphisms in Type Theory. 5:1-5:18 - Ambrus Kaposi, András Kovács, Ambroise Lafont:
For Finitary Induction-Induction, Induction Is Enough. 6:1-6:30 - Anastasiya Kravchuk-Kirilyuk, Antoine Voizard, Stephanie Weirich:
Eta-Equivalence in Core Dependent Haskell. 7:1-7:31 - Stefano Piceghello:
Coherence for Monoidal Groupoids in HoTT. 8:1-8:20 - Stefan Monnier, Nathaniel Bos:
Is Impredicativity Implicitly Implicit? 9:1-9:19 - Nils Anders Danielsson:
Higher Inductive Type Eliminators Without Paths. 10:1-10:18
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-04 22:07 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
