![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
26th TYPES 2020: Turin, Italy
- 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 - 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
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.