Federico Aschieri

From MaRDI portal
Person:265000

Available identifiers

zbMath Open aschieri.federicoWikidataQ102383427 ScholiaQ102383427MaRDI QIDQ265000

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q50760582022-05-12Paper
https://portal.mardi4nfdi.de/entity/Q33848772021-12-17Paper
https://portal.mardi4nfdi.de/entity/Q33848972021-12-17Paper
https://portal.mardi4nfdi.de/entity/Q49577862021-09-09Paper
https://portal.mardi4nfdi.de/entity/Q49867332021-04-27Paper
https://portal.mardi4nfdi.de/entity/Q49646952021-03-03Paper
https://portal.mardi4nfdi.de/entity/Q51446222021-01-19Paper
On the concurrent computational content of intermediate logics2020-04-21Paper
Expansion trees with cut2019-10-09Paper
On Natural Deduction for Herbrand Constructive Logics III: The Strange Case of the Intuitionistic Logic of Constant Domains2018-03-20Paper
Disjunctive Axioms and Concurrent $\lambda$-Calculi: a Curry-Howard Approach2018-02-03Paper
Constructive forcing, CPS translations and witness extraction in Interactive realizability2017-09-28Paper
GAME SEMANTICS AND THE GEOMETRY OF BACKTRACKING: A NEW COMPLEXITY ANALYSIS OF INTERACTION2017-08-03Paper
On Natural Deduction for Herbrand Constructive Logics I: Curry-Howard Correspondence for Dummett's Logic LC2017-04-11Paper
https://portal.mardi4nfdi.de/entity/Q29684082017-03-13Paper
https://portal.mardi4nfdi.de/entity/Q29585122017-02-02Paper
On Natural Deduction for Herbrand Constructive Logics II: Curry-Howard Correspondence for Markov's Principle in First-Order Logic and Arithmetic2016-12-16Paper
Interactive Realizability for second-order Heyting arithmetic with EM1 and SK12016-07-26Paper
On natural deduction in classical first-order logic: Curry-Howard correspondence, strong normalization and Herbrand's theorem2016-04-01Paper
https://portal.mardi4nfdi.de/entity/Q49814382014-06-24Paper
Non-determinism, Non-termination and the Strong Normalization of System T2013-06-28Paper
Learning based realizability for HA + EM1 and 1-backtracking games: soundness and completeness2013-04-15Paper
Interactive Realizability for Classical Peano Arithmetic with Skolem Axioms2012-11-22Paper
A constructive analysis of learning in Peano arithmetic2012-09-26Paper
Transfinite update procedures for predicative systems of analysis2012-09-18Paper
Learning, Realizability and Games in Classical Arithmetic2010-12-22Paper
Interactive learning-based realizability for Heyting arithmetic with \(\mathrm{EM}_1\)2010-09-21Paper
Interactive Learning-Based Realizability Interpretation for Heyting Arithmetic with EM 12009-07-07Paper
https://portal.mardi4nfdi.de/entity/Q35322042008-11-03Paper

Research outcomes over time

This page was built for person: Federico Aschieri