Ulrich Berger 0001, Ralph Matthes, Anton Setzer. Martin Hofmann's Case for Non-Strictly Positive Data Types. In Peter Dybjer, José Espírito Santo, Luís Pinto, editors, 24th International Conference on Types for Proofs and Programs, TYPES 2018, June 18-21, 2018, Braga, Portugal. Volume 130 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2018. [doi]
Abstract is missing.