default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID26th TYPES 2020: Turin, Italy
- Ugo de'Liguoro, Stefano Berardi, Thorsten Altenkirch
:
26th International Conference on Types for Proofs and Programs, TYPES 2020, University of Turin, Italy, March 2-5, 2020. LIPIcs 188, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-182-5 - Front Matter, Table of Contents, Preface, Conference Organization. 0:1-0:8
- Andreas Abel:
On Model-Theoretic Strong Normalization for Truth-Table Natural Deduction. 1:1-1:21 - Reynald Affeldt, David Nowak:
Extending Equational Monadic Reasoning with Monad Transformers. 2:1-2:21 - Guido De Luca, Carlos Luna:
Towards a Certified Reference Monitor of the Android 10 Permission System. 3:1-3:18 - José Espírito Santo, Ralph Matthes, Luís Pinto:
Coinductive Proof Search for Polarized Logic with Applications to Full Intuitionistic Propositional Logic. 4:1-4:24 - Asta Halkjær From:
Synthetic Completeness for a Terminating Seligman-Style Tableau System. 5:1-5:17 - Gabriel Hondet, Frédéric Blanqui:
Encoding of Predicate Subtyping with Proof Irrelevance in the λΠ-Calculus Modulo Theory. 6:1-6:18 - Furio Honsell, Marina Lenisa, Ivan Scagnetto:
Λ-Symsym: An Interactive Tool for Playing with Involutions and Types. 7:1-7:18 - Jasper Hugunin:
Why Not W? 8:1-8:9 - Harry Maclean, Zhaohui Luo:
Subtype Universes. 9:1-9:16 - Matteo Manighetti, Dale Miller, Alberto Momigliano:
Two Applications of Logic Programming to Coq. 10:1-10:19 - Pawel Urzyczyn:
Duality in Intuitionistic Propositional Logic. 11:1-11:10
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:23 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:
