The following pages link to Gilda Ferreira (Q424544):
Displaying 39 items.
- A semantic account of strong normalization in linear logic (Q276260) (← links)
- On bounded functional interpretations (Q424545) (← links)
- Extendible formulas in two variables in intuitionistic logic (Q454378) (← links)
- A linear algorithm for MLL proof net correctness and sequentialization (Q534705) (← links)
- A focused approach to combining logics (Q639671) (← links)
- The faithfulness of \(\mathbf{F_{at}}\): a proof-theoretic proof (Q897484) (← links)
- Harrington's conservation theorem redone (Q948908) (← links)
- Functional interpretations of linear and intuitionistic logic (Q964504) (← links)
- The counting hierarchy in binary notation (Q1008842) (← links)
- Commuting conversions vs. the standard conversions of the ``good'' connectives (Q1037589) (← links)
- Atomic polymorphism and the existence property (Q1799037) (← links)
- Minimal from classical proofs (Q1946677) (← links)
- A refined interpretation of intuitionistic logic by means of atomic polymorphism (Q2186692) (← links)
- Rasiowa-Harrop disjunction property (Q2363508) (← links)
- A herbrandized functional interpretation of classical first-order logic (Q2402958) (← links)
- Bounded theories for polyspace computability (Q2450770) (← links)
- An interpretation of \(S_2^1\) in \(\Sigma_1^b\)-NIA (Q2642795) (← links)
- Interpretability in Robinson's Q (Q2870105) (← links)
- Elementary Proof of Strong Normalization for Atomic F (Q2957669) (← links)
- (Q2971275) (← links)
- Confined modified realizability (Q3406445) (← links)
- (Q3518438) (← links)
- (Q4609094) (← links)
- (Q4609120) (← links)
- η-conversions of IPC implemented in atomic F (Q4644473) (← links)
- Atomic polymorphism (Q4916559) (← links)
- (Q4964696) (← links)
- (Q4981448) (← links)
- The Russell-Prawitz embedding and the atomization of universal instantiation (Q5014064) (← links)
- (Q5101355) (← links)
- (Q5222079) (← links)
- (Q5224790) (← links)
- The computational content of atomic polymorphism (Q5241920) (← links)
- Counting as integration in feasible analysis (Q5485404) (← links)
- Functional Interpretations of Intuitionistic Linear Logic (Q5892514) (← links)
- Functional Interpretations of Intuitionistic Linear Logic (Q5902221) (← links)
- How to avoid the commuting conversions of IPC (Q6523333) (← links)
- Herbrandized modified realizability (Q6523411) (← links)
- Herbrandized modified realizability (Q6565573) (← links)
