Federico Aschieri

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