Publikationsliste für
Federico Aschieri
als Autorin / Autor bzw. wesentlich beteiligte Person
28 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, A. Ciabattoni, F. Genco:
"On the concurrent computational content of intermediate logics";
Theoretical Computer Science,
813
(2020),
S. 375
- 409.
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
F. Aschieri, A. Ciabattoni, F. Genco:
"A typed parallel lambda-calculus via 1-depth intermediate proofs";
in: "LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning",
73;
L. Kovacs et al. (Hrg.);
EasyChair EPiC Series in Computing,
2020,
22 S.
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.
F. Aschieri, F. Genco:
"Par means parallel: multiplicative linear logic proofs as concurrent functional programs"";
Vortrag: POPL2020,
New Orleans;
19.01.2020
- 21.01.2020.
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.