Abstract is missing.
- Λ-Symsym: An Interactive Tool for Playing with Involutions and TypesFurio Honsell, Marina Lenisa, Ivan Scagnetto. [doi]
- Extending Equational Monadic Reasoning with Monad TransformersReynald Affeldt, David Nowak. [doi]
- Two Applications of Logic Programming to CoqMatteo Manighetti, Dale Miller 0001, Alberto Momigliano. [doi]
- Coinductive Proof Search for Polarized Logic with Applications to Full Intuitionistic Propositional LogicJosé Espírito Santo, Ralph Matthes, Luís Pinto 0001. [doi]
- Encoding of Predicate Subtyping with Proof Irrelevance in the λΠ-Calculus Modulo TheoryGabriel Hondet, Frédéric Blanqui. [doi]
- Towards a Certified Reference Monitor of the Android 10 Permission SystemGuido De Luca, Carlos Luna 0001. [doi]
- Front Matter, Table of Contents, Preface, Conference Organization [doi]
- Synthetic Completeness for a Terminating Seligman-Style Tableau SystemAsta Halkjær From. [doi]
- On Model-Theoretic Strong Normalization for Truth-Table Natural DeductionAndreas Abel 0001. [doi]
- Why Not W?Jasper Hugunin. [doi]
- Duality in Intuitionistic Propositional LogicPawel Urzyczyn. [doi]
- Subtype UniversesHarry Maclean, Zhaohui Luo. [doi]