Name Card

Full name Familienname, Vorname
ASCHIERI, Federico
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-20 of 26 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Aschieri, Federico ; Ciabattoni, Agata ; Genco, Francesco Antonio A typed parallel lambda-calculus via 1-depth intermediate proofsKonferenzbeitrag Inproceedings 2020
2Aschieri, Federico ; Ciabattoni, Agata ; Genco, Francesco A. On the concurrent computational content of intermediate logicsArtikel Article 2020
3Aschieri, Federico ; Genco, Francesco A. Par means parallel: multiplicative linear logic proofs as concurrent functional programs"Artikel Article 2020
4Aschieri, Federico ; Hetzl, Stefan ; Weller, Daniel Expansion trees with cutArtikel Article 8-Oct-2019
5Aschieri, Federico Towards a concurrrent lambda calculus: via linear logicPräsentation Presentation2019
6Aschieri, Federico Natural Deduction and Normalization Proofs for the Intersection Type DisciplineKonferenzbeitrag Inproceedings 2019
7Ciabattoni, Agata ; Genco, Francesco ; Aschieri, Federico Intermediate Logic Proofs as Concurrent ProgramsPräsentation Presentation2019
8Aschieri, Federico On Herbrand constructive Logics III: Intuitionistic logic of constant domainsPräsentation Presentation2018
9Aschieri, Federico Natural Deduction and Normalization Proofs for the Intersection Type DisciplinePräsentation Presentation2018
10Aschieri, Federico On Natural Deduction for Herbrand Constructive Logics III: The Strange Case of the Intuitionistic Logic of Constant DomainsKonferenzbeitrag Inproceedings 2018
11Aschieri, Federico ; Ciabattoni, Agata ; Genco, Francesco Disjunctive Axioms and Concurrent lambda-Calculi: a Curry-Howard ApproachPreprint Preprint2018
12Aschieri, Federico ; Genco, Francesco ; Ciabattoni, Agata Classical Proofs as Parallel ProgramsKonferenzbeitrag Inproceedings 2018
13Aschieri, Federico ; Ciabattoni, Agata ; Genco, Francesco Logic-Based Concurrent CalculiPräsentation Presentation2018
14Aschieri, Federico Games Semantics and the Complexity of Cut-EliminationPräsentation Presentation2017
15Aschieri, Federico Intermediate Logics: from Natural Deduction in Parallel ComputationPräsentation Presentation2017
16Aschieri, Federico Curry-Howard correspondencePräsentation Presentation2017
17Aschieri, Federico Games Semantics and the Complexity of Cut-EliminationPräsentation Presentation2017
18ASCHIERI, FEDERICO Game semantics and the geometry of backtracking: a new complexity analysis and interactionArtikel Article 2017
19ASCHIERI, FEDERICO Constructive forcing, CPS translations and witness extraction in Interactive realizabilityArtikel Article 2017
20Aschieri, Federico Natural Deduction and Curry-Howard for Herbrand Constructive LogicsPräsentation Presentation2016

Contributing Publications Mitbeteiligte Publikationen

Results 1-1 of 1 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Manighetti Matteo - 2016 - Computational interpretations of Markovs principle.pdf.jpgManighetti, Matteo Computational interpretations of Markov's principleThesis Hochschulschrift 2016