Genco, Francesco Antonio
Full name Familienname, Vorname
Genco, Francesco Antonio
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Aschieri, Federico ; Ciabattoni, Agata ; Genco, Francesco Antonio ; Kovacs, Laura | A typed parallel lambda-calculus via 1-depth intermediate proofs | Konferenzbeitrag Inproceedings  | 2020 |