| No. |
Title |
Author |
Year |
| 1 |
Inductive Continuity via Brouwer Trees |
Cohen, Liron et al. |
2023 |
| 2 |
Realizing Continuity Using Stateful Computations |
Cohen, Liron et al. |
2023 |
| 3 |
Constructing Unprejudiced Extensional Type Theories with Choices via Modalities |
Cohen, Liron et al. |
2022 |
| 4 |
Front Matter, Table of Contents, Preface, Conference Organization |
Cohen, Liron et al. |
2021 |
| 5 |
LIPIcs, Volume 193, ITP 2021, Complete Volume |
Cohen, Liron et al. |
2021 |
| 6 |
Open Bar - a Brouwerian Intuitionistic Logic with a Pinch of Excluded Middle |
Bickford, Mark et al. |
2021 |
| 7 |
Uniform Inductive Reasoning in Transitive Closure Logic via Infinite Descent |
Cohen, Liron et al. |
2018 |
