TU Home
Diese Publikationsliste wurde automatisch aus den Publikationsdaten der TU Wien erstellt. Wenn Sie komplexere Suchabfragen vornehmen wollen, rufen Sie bitte die Seite "Publikationen der Fakultät" direkt auf, oder verwenden Sie die globale Suchfunktion der Publikationsdatenbank der Technischen Universität Wien!


Publikationsdatenbank Home  

Publikationsliste für
Federico Aschieri
als Autorin / Autor bzw. wesentlich beteiligte Person

25 Datensätze (2014 - 2020)


Zeitschriftenartikel


F. Aschieri:
"Constructive Forcing, CPS Translations and Witness Extraction in Interactive Realizability";
Mathematical Structures In Computer Science, online (2015), 29.10.2015; 39 S.

Zusätzliche Informationen

F. Aschieri:
"Constructive forcing, CPS translations and witness extraction in Interactive realizability";
Mathematical Structures In Computer Science, 27 (2017), 6; S. 993 - 1031.

Zusätzliche Informationen

F. Aschieri:
"Game semantics and the geometry of backtracking: a new complexity analysis and interaction";
Journal of Symbolic Logic, 82 (2017), 2; S. 672 - 708.

Zusätzliche Informationen

F. Aschieri:
"On Natural Deduction for Herbrand Constructive Logics I: Curry-Howard Correspondence for Dummett´s Logic LC";
Logical Methods in Computer Science, 12 (2016), 3; S. 1 - 31.

Zusätzliche Informationen

F. Aschieri, A. Ciabattoni, F. Genco:
"Disjunctive Axioms and Concurrent lambda-Calculi: a Curry-Howard Approach";
CoRR - Computing Research Repository, abs/1802.00961 (2018), abs/1802.00961.

F. Aschieri, F. Genco:
"Par means parallel: multiplicative linear logic proofs as concurrent functional programs";
Proceedings of the ACM on Programming Languages, 4 (2020), S. 1 - 18.

F. Aschieri, S. Hetzl, D. Weller:
"Expansion trees with cut";
Mathematical Structures In Computer Science, 29 (2019), 8; S. 1009 - 1029.

F. Aschieri, D. Weller et al.:
"Expansion trees with cut";
Mathematical Structures In Computer Science, 29 (2019), 8; S. 1009 - 1029.


Beiträge in Tagungsbänden


F. Aschieri:
"Natural Deduction and Normalization Proofs for the Intersection Type Discipline";
in: "Proceedings Twelfth Workshop on Developments in Computational Models and Ninth Workshop on Intersection Types and Related Systems, DCM/ITRS 2018, and Ninth Workshop on Intersection Types and Related Systems", Computing Research Repository (CoRR), abs.1904-10106, 2019, 9 S.

Zusätzliche Informationen

F. Aschieri:
"On Natural Deduction for Herbrand Constructive Logics III: The Strange Case of the Intuitionistic Logic of Constant Domains";
in: "Proceedings Seventh International Workshop on Classical Logic and Computation, Oxford (UK), 7th of July 2018", 281; S. Berardi et al. (Hrg.); herausgegeben von: EPTCS; Open Publishing Association, 2018, ISSN: 2075-2180, 9 S.

Zusätzliche Informationen


Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag)


F. Aschieri, F. Genco, A. Ciabattoni:
"Classical Proofs as Parallel Programs";
Vortrag: Ninth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2018), Saarbrücken; 26.09.2018 - 28.09.2018; in: "Proceedings of Ninth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2018)", (2018), S. 43 - 57.


Vorträge und Posterpräsentationen (ohne Tagungsband-Eintrag)


F. Aschieri:
"Curry-Howard correspondence";
Hauptvortrag: Thirteenth International Tbilisi Summer School in Logic and Language, Tbilisi (eingeladen); 25.09.2017 - 29.09.2017.

F. Aschieri:
"Game Semantics and the Complexity of Interaction";
Vortrag: European Joint Conference on Theory & Practice of Software, Eindhoven, Niederlande; 02.04.2016 - 03.04.2016.

F. Aschieri:
"Games Semantics and the Complexity of Cut-Elimination";
Vortrag: Collegium Logicum Proof Theory: Herbrand's Theorem Revisited, Wien; 25.05.2017.

F. Aschieri:
"Games Semantics and the Complexity of Cut-Elimination";
Vortrag: 19th ÖMG Conference and Annual DMV Meeting, Salzburg; 11.09.2017 - 15.09.2017.

F. Aschieri:
"Intermediate Logics: from Natural Deduction in Parallel Computation";
Vortrag: Humboldt Kolleg Proof Theory Mathesis Universalis, Como (eingeladen); 24.07.2017 - 28.07.2017.

F. Aschieri:
"Natural Deduction and Curry-Howard for Herbrand Constructive Logics";
Vortrag: First International Conference - Formal Structures for Computation and Deduction (FSCD), Porto, Portugal; 22.06.2016 - 26.06.2016.

Zusätzliche Informationen

F. Aschieri:
"Natural Deduction and Normalization Proofs for the Intersection Type Discipline";
Vortrag: "Intersection Types and Related Systems" (ITRS 2018), Oxford; 08.07.2018.

F. Aschieri:
"On Classical Natural Deduction: Reduction Rules, Strong Normalization, Herbrand´s Theorem";
Vortrag: General Proof Theory, Tübingen, Deutschland (eingeladen); 27.11.2015 - 29.11.2015.

F. Aschieri:
"On Herbrand constructive Logics III: Intuitionistic logic of constant domains";
Vortrag: Classical Logic and Computation" (CL&C 2018), Oxford; 07.07.2018.

F. Aschieri:
"Some Recent Results on Herbrand´s Theorem";
Vortrag: Mathematical Logic: Proof theory, Constructive Mathematics, Oberwolfach, Germany (eingeladen); 16.11.2014 - 22.11.2014.

F. Aschieri:
"Towards a concurrrent lambda calculus: via linear logic";
Vortrag: Workshop, Proof, Computation, Complexity, Stockholm; 15.07.2019 - 19.07.2019.

F. Aschieri:
"Type Theory, Realizability and the Epsilon Substitution Method";
Vortrag: Epsilon 2015, Montpellier, Frankreich (eingeladen); 10.06.2015 - 12.06.2015.

F. Aschieri, A. Ciabattoni, F. Genco:
"Logic-Based Concurrent Calculi";
Vortrag: Substructural logics: semantics, proof theory, and applications, SYSMICS 2018, Wien; 26.02.2018 - 28.02.2018.

A. Ciabattoni, F. Genco, F. Aschieri:
"Intermediate Logic Proofs as Concurrent Programs";
Vortrag: Conference: Syntax meets Semantics (SYSMICS) 2019, Amsterdam; 21.01.2019 - 25.01.2019.