The following pages link to Federico Aschieri (Q265000):
Displayed 29 items.
- On natural deduction in classical first-order logic: Curry-Howard correspondence, strong normalization and Herbrand's theorem (Q265002) (← links)
- A constructive analysis of learning in Peano arithmetic (Q450942) (← links)
- Learning based realizability for HA + EM1 and 1-backtracking games: soundness and completeness (Q1946669) (← links)
- On the concurrent computational content of intermediate logics (Q1989344) (← links)
- Interactive Learning-Based Realizability for Heyting Arithmetic with EM1 (Q2786136) (← links)
- Transfinite Update Procedures for Predicative Systems of Analysis (Q2915671) (← links)
- (Q2958512) (← links)
- (Q2968408) (← links)
- On Natural Deduction for Herbrand Constructive Logics I: Curry-Howard Correspondence for Dummett's Logic LC (Q2974784) (← links)
- (Q3384877) (← links)
- (Q3384897) (← links)
- (Q3532204) (← links)
- Interactive Learning-Based Realizability Interpretation for Heyting Arithmetic with EM 1 (Q3637184) (← links)
- Interactive Realizability for Classical Peano Arithmetic with Skolem Axioms (Q4649536) (← links)
- (Q4957786) (← links)
- (Q4964695) (← links)
- GAME SEMANTICS AND THE GEOMETRY OF BACKTRACKING: A NEW COMPLEXITY ANALYSIS OF INTERACTION (Q4977225) (← links)
- (Q4981438) (← links)
- (Q4986733) (← links)
- (Q5076058) (← links)
- (Q5144622) (← links)
- Expansion trees with cut (Q5236547) (← links)
- Non-determinism, Non-termination and the Strong Normalization of System T (Q5300892) (← links)
- Constructive forcing, CPS translations and witness extraction in Interactive realizability (Q5360214) (← links)
- Interactive Realizability for second-order Heyting arithmetic with EM1 and SK1 (Q5740401) (← links)
- Learning, Realizability and Games in Classical Arithmetic (Q6222565) (← links)
- On Natural Deduction for Herbrand Constructive Logics II: Curry-Howard Correspondence for Markov's Principle in First-Order Logic and Arithmetic (Q6280923) (← links)
- Disjunctive Axioms and Concurrent $\lambda$-Calculi: a Curry-Howard Approach (Q6297282) (← links)
- On Natural Deduction for Herbrand Constructive Logics III: The Strange Case of the Intuitionistic Logic of Constant Domains (Q6299301) (← links)