3rd FISP Meeting (The Fine Structure of Formal Proof Systems and their Computational Interpretations)
Event name
3rd FISP Meeting (The Fine Structure of Formal Proof Systems and their Computational Interpretations)
Event type
Event for scientific audience
Start date
06-12-2018
Location
Wien
Country
Austria
Event format Veranstaltungsformat
On Site
Results 1-1 of 1 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Genco, Francesco | Intermediate Logic Proofs as Concurrent Programs | Präsentation Presentation | 2018 |