Edit Profile Aschieri, Federico Compute Distance To: Compute Author ID: aschieri.federico Published as: Aschieri, Federico External Links: MGP · Wikidata Documents Indexed: 18 Publications since 2008 all top 5 Co-Authors 8 single-authored 4 Berardi, Stefano 3 Zorzi, Margherita 1 Biasi, Corrado 1 Birolo, Giovanni 1 Ciabattoni, Agata 1 Genco, Francesco A. 1 Hetzl, Stefan 1 Weller, Daniel S. all top 5 Serials 3 MSCS. Mathematical Structures in Computer Science 2 Theoretical Computer Science 2 Annals of Pure and Applied Logic 2 Logical Methods in Computer Science 1 The Journal of Symbolic Logic 1 Fundamenta Informaticae Fields 18 Mathematical logic and foundations (03-XX) 3 Computer science (68-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH 16 Publications have been cited 39 times in 18 Documents Cited by ▼ Year ▼ Interactive learning-based realizability for Heyting arithmetic with \(\mathrm{EM}_1\). Zbl 1201.03052Aschieri, Federico; Berardi, Stefano 7 2010 Non-determinism, non-termination and the strong normalization of System T. Zbl 1381.03020Aschieri, Federico; Zorzi, Margherita 5 2013 On natural deduction in classical first-order logic: Curry-Howard correspondence, strong normalization and Herbrand’s theorem. Zbl 1377.03050Aschieri, Federico; Zorzi, Margherita 4 2016 Learning based realizability for HA + EM1 and 1-backtracking games: soundness and completeness. Zbl 1270.03117Aschieri, Federico 3 2013 A constructive analysis of learning in Peano arithmetic. Zbl 1257.03083Aschieri, Federico 3 2012 A “game semantical” intuitionistic realizability validating Markov’s principle. Zbl 1359.03044Aschieri, Federico; Zorzi, Margherita 2 2014 Interactive realizability for second-order Heyting arithmetic with EM1 and SK1. Zbl 1342.03040Aschieri, Federico 2 2014 A new use of Friedman’s translation: interactive realizability. Zbl 1334.03058Aschieri, Federico; Berardi, Stefano 2 2012 Interactive realizability for classical Peano arithmetic with Skolem axioms. Zbl 1252.03133Aschieri, Federico 2 2012 Transfinite update procedures for predicative systems of analysis. Zbl 1247.03123Aschieri, Federico 2 2011 A term assignment for polarized bi-intuitionistic logic and its strong normalization. Zbl 1245.03015Biasi, Corrado; Aschieri, Federico 2 2008 Expansion trees with cut. Zbl 07114848Aschieri, Federico; Hetzl, Stefan; Weller, Daniel 1 2019 Constructive forcing, CPS translations and witness extraction in interactive realizability. Zbl 06781941Aschieri, Federico 1 2017 Game semantics and the geometry of backtracking: a new complexity analysis of interaction. Zbl 1401.03100Aschieri, Federico 1 2017 Realizability and strong normalization for a Curry-Howard interpretation of HA + EM1. Zbl 1356.03056Aschieri, Federico; Berardi, Stefano; Birolo, Giovanni 1 2013 Interactive learning-based realizability interpretation for Heyting arithmetic with \(\mathrm{EM}_1\). Zbl 1201.03051Aschieri, Federico; Berardi, Stefano 1 2009 Expansion trees with cut. Zbl 07114848Aschieri, Federico; Hetzl, Stefan; Weller, Daniel 1 2019 Constructive forcing, CPS translations and witness extraction in interactive realizability. Zbl 06781941Aschieri, Federico 1 2017 Game semantics and the geometry of backtracking: a new complexity analysis of interaction. Zbl 1401.03100Aschieri, Federico 1 2017 On natural deduction in classical first-order logic: Curry-Howard correspondence, strong normalization and Herbrand’s theorem. Zbl 1377.03050Aschieri, Federico; Zorzi, Margherita 4 2016 A “game semantical” intuitionistic realizability validating Markov’s principle. Zbl 1359.03044Aschieri, Federico; Zorzi, Margherita 2 2014 Interactive realizability for second-order Heyting arithmetic with EM1 and SK1. Zbl 1342.03040Aschieri, Federico 2 2014 Non-determinism, non-termination and the strong normalization of System T. Zbl 1381.03020Aschieri, Federico; Zorzi, Margherita 5 2013 Learning based realizability for HA + EM1 and 1-backtracking games: soundness and completeness. Zbl 1270.03117Aschieri, Federico 3 2013 Realizability and strong normalization for a Curry-Howard interpretation of HA + EM1. Zbl 1356.03056Aschieri, Federico; Berardi, Stefano; Birolo, Giovanni 1 2013 A constructive analysis of learning in Peano arithmetic. Zbl 1257.03083Aschieri, Federico 3 2012 A new use of Friedman’s translation: interactive realizability. Zbl 1334.03058Aschieri, Federico; Berardi, Stefano 2 2012 Interactive realizability for classical Peano arithmetic with Skolem axioms. Zbl 1252.03133Aschieri, Federico 2 2012 Transfinite update procedures for predicative systems of analysis. Zbl 1247.03123Aschieri, Federico 2 2011 Interactive learning-based realizability for Heyting arithmetic with \(\mathrm{EM}_1\). Zbl 1201.03052Aschieri, Federico; Berardi, Stefano 7 2010 Interactive learning-based realizability interpretation for Heyting arithmetic with \(\mathrm{EM}_1\). Zbl 1201.03051Aschieri, Federico; Berardi, Stefano 1 2009 A term assignment for polarized bi-intuitionistic logic and its strong normalization. Zbl 1245.03015Biasi, Corrado; Aschieri, Federico 2 2008 all cited Publications top 5 cited Publications all top 5 Cited by 24 Authors 8 Aschieri, Federico 3 Zorzi, Margherita 2 Hetzl, Stefan 2 Paolini, Luca 2 Powell, Thomas M. 1 Afshari, Bahareh 1 Bellin, Gianluigi 1 Berardi, Stefano 1 Breuvart, Flavien 1 Carrara, Massimiliano 1 Chiffi, Daniele 1 Eades, Harley III 1 Kohlenbach, Ulrich Wilhelm 1 Leigh, Graham Emil 1 Manzonetto, Giulio 1 Mccleeary, Ryan 1 Menti, Alessandro 1 Oliva, Paulo 1 Piccolo, Mauro 1 Powell, Thomas D. 1 Ruoppolo, Domenico 1 Safarik, Pavol 1 Stump, Aaron 1 Weller, Daniel S. all top 5 Cited in 7 Serials 4 Annals of Pure and Applied Logic 3 MSCS. Mathematical Structures in Computer Science 3 Logical Methods in Computer Science 1 The Journal of Symbolic Logic 1 Theoretical Computer Science 1 Journal of Automated Reasoning 1 Logic and Logical Philosophy Cited in 4 Fields 16 Mathematical logic and foundations (03-XX) 6 Computer science (68-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Operator theory (47-XX) Citations by Year Wikidata Timeline