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 |