Federico Aschieri

34 papers A* 1B 4Journal 18Unranked 10

Year	Rank	Type	Title / 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