| No. |
Title |
Author |
Year |
| 1 |
Quantitative Polynomial Functors |
Nakov, Georgi et al. |
2022 |
| 2 |
Connecting Constructive Notions of Ordinals in Homotopy Type Theory |
Kraus, Nicolai et al. |
2021 |
| 3 |
Quantitative Polynomial Functors (Early Ideas) |
Nakov, Georgi et al. |
2021 |
| 4 |
LIPIcs, Volume 104, TYPES'17, Complete Volume |
Abel, Andreas et al. |
2019 |
| 5 |
Front Matter, Table of Contents, Preface, Conference Organization |
Abel, Andreas et al. |
2018 |
| 6 |
Variations on Inductive-Recursive Definitions |
Ghani, Neil et al. |
2017 |
| 7 |
Models for Polymorphism over Physical Dimension |
Atkey, Robert et al. |
2015 |
