Preface

Marc Bezem*, Assia Mahboubi

*Corresponding author for this work

Research output: Chapter in Book / Report / Conference proceedingForeword/postscriptAcademic

Original languageEnglish
Title of host publication25th International Conference on Types for Proofs and Programs (TYPES 2019)
EditorsMarc Bezem, Assia Mahboubi
PublisherSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
Pagesvii-vii
Number of pages1
ISBN (Print)9783959771580
DOIs
Publication statusPublished - 2020
Event25th International Conference on Types for Proofs and Programs, TYPES 2019 - Oslo, Norway
Duration: 11 Jun 201914 Jun 2019

Publication series

NameLeibniz International Proceedings in Informatics, LIPIcs
PublisherSchloss Dagstuhl - Leibniz-Zentrum für Informatik
Volume175
ISSN (Print)1868-8969

Conference

Conference25th International Conference on Types for Proofs and Programs, TYPES 2019
Country/TerritoryNorway
CityOslo
Period11/06/1914/06/19

Funding

The Centre for Advanced Study (CAS) at the Norwegian Academy of Science and Letters provided generous support, both financial and administrative, which we gratefully acknowledge. We are also grateful for the support of COST Action CA15123 EUTypes and of the Research Council of Norway, project 240810 Computational Aspects of Univalence (2015– 2020).

FundersFunder number
European Cooperation in Science and Technology
Norges forskningsråd240810

    Cite this