| No. |
Title |
Author |
Year |
| 1 |
Coq Support in HAHA |
Chrzaszcz, Jacek et al. |
2018 |
| 2 |
Synthesis of Functional Programs with Help of First-Order Intuitionistic Logic |
Benke, Marcin et al. |
2016 |
| 3 |
Automata Theoretic Account of Proof Search |
Schubert, Aleksy et al. |
2015 |
| 4 |
Restricted Positive Quantification Is Not Elementary |
Schubert, Aleksy et al. |
2015 |
| 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 |
Decidable structures between Church-style and Curry-style |
Fujita, Ken-etsu et al. |
2013 |
| 8 |
ML with PTIME complexity guarantees |
Chrzaszcz, Jacek et al. |
2012 |
| 9 |
The Undecidability of Type Related Problems in Type-free Style System F |
Fujita, Ken-Etsu et al. |
2010 |
