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 EM1	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Federico Aschieri