13th International Conference on Typed Lambda Calculi and Applications - TLCA 2015
Book title Buchtitel
13th International Conference on Typed Lambda Calculi and Applications - TLCA 2015
Publisher Herausgeber
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
Place of publishing Erscheinungsort
Dagstuhl, Deutschland
Date issued
Results 1-1 of 1 (Search time: 0.001 seconds).
Preview | Authors / Editors | Title | Type | Issue Date | |
---|---|---|---|---|---|
1 | Afshari, Bahareh ; Hetzl, Stefan ; Leigh, Graham | Herbrand Disjunctions, Cut Elimination and Context-Free Tree Grammars | Konferenzbeitrag Inproceedings | 2015 |