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
https://portal.mardi4nfdi.de/entity/Q4986733	2021-04-27	Paper
https://portal.mardi4nfdi.de/entity/Q4964695	2021-03-03	Paper
https://portal.mardi4nfdi.de/entity/Q5144622	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 LC	2017-04-11	Paper
https://portal.mardi4nfdi.de/entity/Q2968408	2017-03-13	Paper
https://portal.mardi4nfdi.de/entity/Q2958512	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
https://portal.mardi4nfdi.de/entity/Q4981438	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
https://portal.mardi4nfdi.de/entity/Q3532204	2008-11-03	Paper

Research outcomes over time

This page was built for person: Federico Aschieri