default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID29th TYPES 2023: Valencia, Spain
- Delia Kesner
, Eduardo Hermo Reyes, Benno van den Berg:
29th International Conference on Types for Proofs and Programs, TYPES 2023, ETSInf, Universitat Politècnica de València, Spain, June 12-16, 2023. LIPIcs 303, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-332-4 - Front Matter, Table of Contents, Preface, Conference Organization. 0:i-0:viii
- Jelle Wemmenhove, Cosmin Manea, Jim Portegies:
Classification of Covering Spaces and Canonical Change of Basepoint. 1:1-1:23 - Andrej Dudenhefner, Christoph Stahl, Constantin Chaumet, Felix Laarmann, Jakob Rehof:
Finite Combinatory Logic with Predicates. 2:1-2:22 - Greta Coraglia, Jacopo Emmenegger:
Categorical Models of Subtyping. 3:1-3:19 - Joris Ceulemans, Andreas Nuyts, Dominique Devriese:
A Sound and Complete Substitution Algorithm for Multimode Type Theory. 4:1-4:23 - Michal J. Gajda:
Consistent Ultrafinitist Logic. 5:1-5:20 - Matthias Eberl:
A Reflection Principle for Potential Infinite Models of Type Theory. 6:1-6:20
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-23 00:31 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:
