Portal - TYPES 2018

TYPES 2018	June 18-21, 2018, Braga, Portugal
24th International Conference on Types for Proofs and Programs (TYPES 2018) Peter Dybjer and José Espírito Santo and Luís Pinto (Eds.)
ISBN 978-3-95977-106-1, LIPICS Vol. 130	ISSN 1868-8969

Additional Information

Authors

Ancona, Davide

Front Matter, Table of Contents, Preface, Conference Organization

Authors: Dybjer, Peter ; Espírito Santo, José ; Pinto, Luís

Abstract | Document (272 KB) | BibTeX

Martin Hofmann's Case for Non-Strictly Positive Data Types

Authors: Berger, Ulrich ; Matthes, Ralph ; Setzer, Anton

Abstract | Document (571 KB) | BibTeX

A Simpler Undecidability Proof for System F Inhabitation

Authors: Dudenhefner, Andrej ; Rehof, Jakob

Abstract | Document (548 KB) | BibTeX

Dependent Sums and Dependent Products in Bishop's Set Theory

Authors: Petrakis, Iosif

Abstract | Document (594 KB) | BibTeX

Semantic Subtyping for Non-Strict Languages

Authors: Petrucciani, Tommaso ; Castagna, Giuseppe ; Ancona, Davide ; Zucca, Elena

Abstract | Document (587 KB) | BibTeX

New Formalized Results on the Meta-Theory of a Paraconsistent Logic

Authors: Schlichtkrull, Anders

Abstract | Document (516 KB) | BibTeX

Normalization by Evaluation for Typed Weak lambda-Reduction

Authors: Sestini, Filippo

Abstract | Document (476 KB) | BibTeX

Cubical Assemblies, a Univalent and Impredicative Universe and a Failure of Propositional Resizing

Authors: Uemura, Taichi

Abstract | Document (556 KB) | BibTeX