15th Workshop on Computational Logic and Applications
| Kraj | [on-line] |
|---|---|
| Miasto | [on-line] |
| Organizator | Uniwersytet Jagielloński, École polytechnique, Université Sorbonne Paris Nord |
| Data rozpoczęcia | 2020-10-12 |
| Data zakończenia | 2020-10-13 |
Uczestnicy konferencji:
Katarzyna Grygiel - referaty:- Tytuł: In search of a bijection between β-normal 3-indecomposable planar lambda terms and β(0,1)-trees - Rodzaj: W sesji. Płatność: Inne.