13th International Conference on Typed Lambda Calculi and Applications 2015
Event name
13th International Conference on Typed Lambda Calculi and Applications 2015
Event type
Event for scientific audience
Start date
01-07-2015
End date
03-07-2015
Location
Warsaw, Polen
Country
Event format Veranstaltungsformat
On Site
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Afshari, Bahareh | Herbrand disjunctions, cut elimination and context-free tree grammars | Präsentation Presentation | 2015 |