default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID24th TYPES 2018: Braga, Portugal
- Peter Dybjer, José Espírito Santo, Luís Pinto:
24th International Conference on Types for Proofs and Programs, TYPES 2018, Braga, Portugal, June 18-21, 2018. LIPIcs 130, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2019, ISBN 978-3-95977-106-1 - Front Matter, Table of Contents, Preface, Conference Organization. 0:1-0:10
- Ulrich Berger
, Ralph Matthes, Anton Setzer:
Martin Hofmann's Case for Non-Strictly Positive Data Types. 1:1-1:22 - Andrej Dudenhefner, Jakob Rehof:
A Simpler Undecidability Proof for System F Inhabitation. 2:1-2:11 - Iosif Petrakis:
Dependent Sums and Dependent Products in Bishop's Set Theory. 3:1-3:21 - Tommaso Petrucciani, Giuseppe Castagna, Davide Ancona, Elena Zucca:
Semantic Subtyping for Non-Strict Languages. 4:1-4:24 - Anders Schlichtkrull:
New Formalized Results on the Meta-Theory of a Paraconsistent Logic. 5:1-5:15 - Filippo Sestini:
Normalization by Evaluation for Typed Weak lambda-Reduction. 6:1-6:17 - Taichi Uemura:
Cubical Assemblies, a Univalent and Impredicative Universe and a Failure of Propositional Resizing. 7:1-7: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-05 22:30 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:
