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 |