×

zbMATH — the first resource for mathematics

Aschieri, Federico

Compute Distance To:
Author ID: aschieri.federico Recent zbMATH articles by "Aschieri, Federico"
Published as: Aschieri, Federico
External Links: MGP · Wikidata
Documents Indexed: 18 Publications since 2008

Publications by Year

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.03052
Aschieri, Federico; Berardi, Stefano
7
2010
Non-determinism, non-termination and the strong normalization of System T. Zbl 1381.03020
Aschieri, Federico; Zorzi, Margherita
5
2013
On natural deduction in classical first-order logic: Curry-Howard correspondence, strong normalization and Herbrand’s theorem. Zbl 1377.03050
Aschieri, Federico; Zorzi, Margherita
4
2016
Learning based realizability for HA + EM1 and 1-backtracking games: soundness and completeness. Zbl 1270.03117
Aschieri, Federico
3
2013
A constructive analysis of learning in Peano arithmetic. Zbl 1257.03083
Aschieri, Federico
3
2012
A “game semantical” intuitionistic realizability validating Markov’s principle. Zbl 1359.03044
Aschieri, Federico; Zorzi, Margherita
2
2014
Interactive realizability for second-order Heyting arithmetic with EM1 and SK1. Zbl 1342.03040
Aschieri, Federico
2
2014
A new use of Friedman’s translation: interactive realizability. Zbl 1334.03058
Aschieri, Federico; Berardi, Stefano
2
2012
Interactive realizability for classical Peano arithmetic with Skolem axioms. Zbl 1252.03133
Aschieri, Federico
2
2012
Transfinite update procedures for predicative systems of analysis. Zbl 1247.03123
Aschieri, Federico
2
2011
A term assignment for polarized bi-intuitionistic logic and its strong normalization. Zbl 1245.03015
Biasi, Corrado; Aschieri, Federico
2
2008
Expansion trees with cut. Zbl 07114848
Aschieri, Federico; Hetzl, Stefan; Weller, Daniel
1
2019
Constructive forcing, CPS translations and witness extraction in interactive realizability. Zbl 06781941
Aschieri, Federico
1
2017
Game semantics and the geometry of backtracking: a new complexity analysis of interaction. Zbl 1401.03100
Aschieri, Federico
1
2017
Realizability and strong normalization for a Curry-Howard interpretation of HA + EM1. Zbl 1356.03056
Aschieri, Federico; Berardi, Stefano; Birolo, Giovanni
1
2013
Interactive learning-based realizability interpretation for Heyting arithmetic with \(\mathrm{EM}_1\). Zbl 1201.03051
Aschieri, Federico; Berardi, Stefano
1
2009
Expansion trees with cut. Zbl 07114848
Aschieri, Federico; Hetzl, Stefan; Weller, Daniel
1
2019
Constructive forcing, CPS translations and witness extraction in interactive realizability. Zbl 06781941
Aschieri, Federico
1
2017
Game semantics and the geometry of backtracking: a new complexity analysis of interaction. Zbl 1401.03100
Aschieri, Federico
1
2017
On natural deduction in classical first-order logic: Curry-Howard correspondence, strong normalization and Herbrand’s theorem. Zbl 1377.03050
Aschieri, Federico; Zorzi, Margherita
4
2016
A “game semantical” intuitionistic realizability validating Markov’s principle. Zbl 1359.03044
Aschieri, Federico; Zorzi, Margherita
2
2014
Interactive realizability for second-order Heyting arithmetic with EM1 and SK1. Zbl 1342.03040
Aschieri, Federico
2
2014
Non-determinism, non-termination and the strong normalization of System T. Zbl 1381.03020
Aschieri, Federico; Zorzi, Margherita
5
2013
Learning based realizability for HA + EM1 and 1-backtracking games: soundness and completeness. Zbl 1270.03117
Aschieri, Federico
3
2013
Realizability and strong normalization for a Curry-Howard interpretation of HA + EM1. Zbl 1356.03056
Aschieri, Federico; Berardi, Stefano; Birolo, Giovanni
1
2013
A constructive analysis of learning in Peano arithmetic. Zbl 1257.03083
Aschieri, Federico
3
2012
A new use of Friedman’s translation: interactive realizability. Zbl 1334.03058
Aschieri, Federico; Berardi, Stefano
2
2012
Interactive realizability for classical Peano arithmetic with Skolem axioms. Zbl 1252.03133
Aschieri, Federico
2
2012
Transfinite update procedures for predicative systems of analysis. Zbl 1247.03123
Aschieri, Federico
2
2011
Interactive learning-based realizability for Heyting arithmetic with \(\mathrm{EM}_1\). Zbl 1201.03052
Aschieri, Federico; Berardi, Stefano
7
2010
Interactive learning-based realizability interpretation for Heyting arithmetic with \(\mathrm{EM}_1\). Zbl 1201.03051
Aschieri, Federico; Berardi, Stefano
1
2009
A term assignment for polarized bi-intuitionistic logic and its strong normalization. Zbl 1245.03015
Biasi, Corrado; Aschieri, Federico
2
2008

Citations by Year

Wikidata Timeline