| No. |
Title |
Author |
Year |
| 1 |
Univalent Monoidal Categories |
Wullaert, Kobe et al. |
2023 |
| 2 |
Coinductive Proof Search for Polarized Logic with Applications to Full Intuitionistic Propositional Logic |
Espírito Santo, José et al. |
2021 |
| 3 |
Martin Hofmann's Case for Non-Strictly Positive Data Types |
Berger, Ulrich et al. |
2019 |
| 4 |
Heterogeneous Substitution Systems Revisited |
Ahrens, Benedikt et al. |
2018 |
| 5 |
Frontmatter, Table of Contents, Preface, Conference Organization |
Matthes, Ralph et al. |
2014 |
| 6 |
LIPIcs, Volume 26, TYPES'13, Complete Volume |
Matthes, Ralph et al. |
2014 |
| 7 |
Verification of redecoration for infinite triangular matrices using coinduction |
Matthes, Ralph et al. |
2013 |
