|
| | Preview | Authors / Editors | Title | Type | Issue Date |
| 1 | | Ciabattoni, Agata ; Genco, Francesco ; Aschieri, Federico | Intermediate Logic Proofs as Concurrent Programs | Präsentation Presentation | 2019 |
| 2 | | Aschieri, Federico ; Genco, Francesco ; Ciabattoni, Agata | Classical Proofs as Parallel Programs | Konferenzbeitrag Inproceedings  | 2018 |
| 3 | | Aschieri, Federico ; Ciabattoni, Agata ; Genco, Francesco | Logic-Based Concurrent Calculi | Präsentation Presentation | 2018 |
| 4 | | Genco, Francesco | Intermediate Logic Proofs as Concurrent Programs | Präsentation Presentation | 2018 |
| 5 | | Aschieri, Federico ; Ciabattoni, Agata ; Genco, Francesco | Disjunctive Axioms and Concurrent lambda-Calculi: a Curry-Howard Approach | Preprint Preprint | 2018 |
| 6 | | Ciabattoni, Agata ; Genco, Francesco | Gödel Logic: From Natural Deduction to Parallel Computation | Konferenzbeitrag Inproceedings | 2017 |
| 7 | | Ciabattoni, Agata ; Genco, Francesco ; Freschi, Elisa | Understanding prescriptive texts: rules and logic elaborated by Mīmāṃsā school | Artikel Article | 2017 |
| 8 | | Genco, Francesco | From hypersequents to parallel computation: Gödel logic and beyond | Präsentation Presentation | 2017 |
| 9 | | Genco, Francesco | From hypersequents to parallel processes | Präsentation Presentation | 2017 |
| 10 | | Genco, Francesco | Typing parallelism and communication by hypersequents | Präsentation Presentation | 2017 |
| 11 | | Genco, Francesco | From Hypersequents to Parallel Computation via Systems of Rules | Präsentation Presentation | 2017 |
| 12 | | Genco, Francesco | Typing parallelism and communication by hypersequents | Präsentation Presentation | 2017 |
| 13 | | Genco, Francesco | Hypersequents, systems of rules and parallel computation | Präsentation Presentation | 2017 |
| 14 | | Ciabattoni, Agata ; Genco, Francesco | Embedding formalisms: hypersequents and two-level systems of rules | Konferenzbeitrag Inproceedings | 2016 |
| 15 | | Ciabattoni, Agata ; Genco, Francesco | Hypersequents and Systems of Rules: An Embedding | Präsentation Presentation | 2016 |
| 16 | | Genco, Francesco | Mīmāṃsā deontic logic: proof theory and applications | Präsentation Presentation | 2015 |
| 17 | | Genco, Francesco | Mīmāṃsā deontic logic. | Präsentation Presentation | 2015 |
| 18 | | Lellmann, Björn ; Ciabattoni, Agata ; Freschi, Elisa ; Genco, Francesco ; De Nivelle, Hans | Mīmāṃsā Deontic Logic: Proof Theory and Applications | Konferenzbeitrag Inproceedings | 2015 |
