Federico Aschieri

Publication Activity (10 Years)

Years Active: 2008-2020
Publications (10 Years): 19

Top Venues

CoRR

Math. Struct. Comput. Sci.

CL&C

TYPES

Queen Mary University of London, UK (PHD)

Education History

Queen Mary University of London, UK

PHD

Publications

Federico Aschieri, Agata Ciabattoni, Francesco A. Genco
On the concurrent computational content of intermediate logics. Theor. Comput. Sci. 813 (2020)
Federico Aschieri, Francesco A. Genco
Par means parallel: multiplicative linear logic proofs as concurrent functional programs. Proc. ACM Program. Lang. 4 (POPL) (2020)
Federico Aschieri, Agata Ciabattoni, Francesco Antonio Genco
A typed parallel lambda-calculus via 1-depth intermediate proofs. LPAR (2020)
Federico Aschieri, Francesco A. Genco
⅋ means Parallel: Multiplicative Linear Logic Proofs as Concurrent Functional Programs. CoRR (2019)
Federico Aschieri, Stefan Hetzl, Daniel Weller
Expansion trees with cut. Math. Struct. Comput. Sci. 29 (8) (2019)
Federico Aschieri, Agata Ciabattoni, Francesco A. Genco
A typed parallel $λ$-calculus for graph-based communication. CoRR (2019)
Federico Aschieri
Natural Deduction and Normalization Proofs for the Intersection Type Discipline. DCM/ITRS (2018)
Federico Aschieri
On Natural Deduction for Herbrand Constructive Logics III: The Strange Case of the Intuitionistic Logic of Constant Domains. CL&C (2018)
Federico Aschieri, Agata Ciabattoni, Francesco A. Genco
Disjunctive Axioms and Concurrent λ-Calculi: a Curry-Howard Approach. CoRR (2018)
Federico Aschieri, Agata Ciabattoni, Francesco A. Genco
Classical Proofs as Parallel Programs. GandALF (2018)
Federico Aschieri
Game Semantics and the Geometry of Backtracking: a New Complexity Analysis of Interaction. J. Symb. Log. 82 (2) (2017)
Federico Aschieri, Agata Ciabattoni, Francesco A. Genco
Gödel logic: From natural deduction to parallel computation. LICS (2017)
Federico Aschieri
Constructive forcing, CPS translations and witness extraction in Interactive realizability. Math. Struct. Comput. Sci. 27 (6) (2017)
Federico Aschieri, Agata Ciabattoni, Francesco A. Genco
Curry-Howard Correspondence for Gödel Logic: from Natural Deduction to Parallel Computation. CoRR (2016)
Federico Aschieri, Matteo Manighetti
On Natural Deduction for Herbrand Constructive Logics II: Curry-Howard Correspondence for Markov's Principle in First-Order Logic and Arithmetic. CoRR (2016)
Federico Aschieri, Margherita Zorzi
On natural deduction in classical first-order logic: Curry-Howard correspondence, strong normalization and Herbrand's theorem. Theor. Comput. Sci. 625 (2016)
Federico Aschieri
On Natural Deduction for Herbrand Constructive Logics I: Curry-Howard Correspondence for Dummett's Logic LC. Log. Methods Comput. Sci. 12 (3) (2016)
Federico Aschieri, Matteo Manighetti
On Natural Deduction for Herbrand Constructive Logics II: Curry-Howard Correspondence for Markov's Principle in First-Order Logic and Arithmetic. TYPES (2016)
Federico Aschieri
Game Semantics and the Geometry of Backtracking: a New Complexity Analysis of Interaction. CoRR (2015)
Federico Aschieri
Interactive Realizability for second-order Heyting arithmetic with EM1 and SK1. Math. Struct. Comput. Sci. 24 (6) (2014)
Federico Aschieri
Learning based realizability for HA + EM1 and 1-Backtracking games: Soundness and completeness. Ann. Pure Appl. Log. 164 (6) (2013)
Federico Aschieri, Margherita Zorzi
A "Game Semantical" Intuitionistic Realizability Validating Markov's Principle. TYPES (2013)
Federico Aschieri
Strong Normalization for HA + EM1 by Non-Deterministic Choice. COS (2013)
Federico Aschieri, Margherita Zorzi
Non-determinism, Non-termination and the Strong Normalization of System T. TLCA (2013)
Federico Aschieri, Stefano Berardi, Giovanni Birolo
Realizability and Strong Normalization for a Curry-Howard Interpretation of HA + EM1. CSL (2013)
Federico Aschieri
A constructive analysis of learning in Peano Arithmetic. Ann. Pure Appl. Log. 163 (11) (2012)
Federico Aschieri
Interactive Realizability for Classical Peano Arithmetic with Skolem Axioms. CSL (2012)
Federico Aschieri, Margherita Zorzi
Interactive Realizability and the elimination of Skolem functions in Peano Arithmetic CL&C (2012)
Federico Aschieri
Transfinite Update Procedures for Predicative Systems of Analysis. CSL (2011)
Federico Aschieri, Stefano Berardi
Interactive Learning-Based Realizability for Heyting Arithmetic with EM1 Log. Methods Comput. Sci. 6 (3) (2010)
Federico Aschieri
Interactive Learning Based Realizability and 1-Backtracking Games CL&C (2010)
Federico Aschieri, Stefano Berardi
Interactive Learning-Based Realizability Interpretation for Heyting Arithmetic with EM1. TLCA (2009)
Corrado Biasi, Federico Aschieri
A Term Assignment for Polarized Bi-intuitionistic Logic and its Strong Normalization. Fundam. Informaticae 84 (2) (2008)

Federico Aschieri.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Federico Aschieri