Federico Aschieri

Available identifiers

zbMath Open aschieri.federicoWikidataQ102383427 ScholiaQ102383427MaRDI QIDQ265000

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5076058	2022-05-12	Paper
https://portal.mardi4nfdi.de/entity/Q3384877	2021-12-17	Paper
https://portal.mardi4nfdi.de/entity/Q3384897	2021-12-17	Paper
https://portal.mardi4nfdi.de/entity/Q4957786	2021-09-09	Paper
Interactive realizability and the elimination of Skolem functions in Peano arithmetic	2021-04-27	Paper
Interactive learning based realizability and 1-backtracking games	2021-03-03	Paper
Gödel logic. From natural deduction to parallel computation	2021-01-19	Paper
On the concurrent computational content of intermediate logics	2020-04-21	Paper
Expansion trees with cut	2019-10-09	Paper
On Natural Deduction for Herbrand Constructive Logics III: The Strange Case of the Intuitionistic Logic of Constant Domains	2018-03-20	Paper
Disjunctive Axioms and Concurrent $\lambda$-Calculi: a Curry-Howard Approach	2018-02-03	Paper
Constructive forcing, CPS translations and witness extraction in interactive realizability	2017-09-28	Paper
Game semantics and the geometry of backtracking: a new complexity analysis of interaction	2017-08-03	Paper
On natural deduction for Herbrand constructive logics. I: Curry-Howard correspondence for Dummett's logic \(\mathsf {LC}\)	2017-04-11	Paper
https://portal.mardi4nfdi.de/entity/Q2968408	2017-03-13	Paper
Realizability and strong normalization for a Curry-Howard interpretation of HA + EM1	2017-02-02	Paper
On Natural Deduction for Herbrand Constructive Logics II: Curry-Howard Correspondence for Markov's Principle in First-Order Logic and Arithmetic	2016-12-16	Paper
Interactive realizability for second-order Heyting arithmetic with EM1 and SK1	2016-07-26	Paper
On natural deduction in classical first-order logic: Curry-Howard correspondence, strong normalization and Herbrand's theorem	2016-04-01	Paper
A new use of Friedman's translation: interactive realizability	2014-06-24	Paper
Non-determinism, non-termination and the strong normalization of System T	2013-06-28	Paper
Learning based realizability for HA + EM1 and 1-backtracking games: soundness and completeness	2013-04-15	Paper
Interactive realizability for classical Peano arithmetic with Skolem axioms	2012-11-22	Paper
A constructive analysis of learning in Peano arithmetic	2012-09-26	Paper
Transfinite update procedures for predicative systems of analysis	2012-09-18	Paper
Learning, Realizability and Games in Classical Arithmetic	2010-12-22	Paper
Interactive learning-based realizability for Heyting arithmetic with \(\mathrm{EM}_1\)	2010-09-21	Paper
Interactive Learning-Based Realizability Interpretation for Heyting Arithmetic with EM 1	2009-07-07	Paper
A term assignment for polarized bi-intuitionistic logic and its strong normalization	2008-11-03	Paper

Research outcomes over time

This page was built for person: Federico Aschieri