The following pages link to Ruy J. G. B. de Queiroz (Q1005957):
Displaying 31 items.
- On reduction rules, meaning-as-use, and proof-theoretic semantics (Q1005958) (← links)
- (Q1744400) (redirect page) (← links)
- Normalization of N-graphs via sub-N-graphs (Q1744401) (← links)
- Some applications of the formalization of the pumping lemma for context-free languages (Q2333674) (← links)
- On dividing chains in simple theories (Q2573728) (← links)
- Towards a homotopy domain theory (Q2700838) (← links)
- Meaning, Function, Purpose, Usefulness, Consequences - Interconnected Concepts (Q2765562) (← links)
- On the Formalization of Some Results of Context-Free Language Theory (Q2820703) (← links)
- Linear Time Proof Verification on N-Graphs: A Graph Theoretic Approach (Q2849421) (← links)
- Sequentialization for N-Graphs via Sub-N-Graphs (Q2938133) (← links)
- (Q3012539) (← links)
- Proof theory and computer programming (Q3032255) (← links)
- (Q3091729) (← links)
- Proof-graphs: a Thorough Cycle Treatment, Normalization and Subformula Property (Q3100159) (← links)
- (Q3435237) (← links)
- Abstract Data Types and Type Theory: Theories as Types (Q3479540) (← links)
- Transformations via Geometric Perspective Techniques Augmented with Cycles Normalization (Q3638277) (← links)
- Extending the Curry-Howard interpretation to linear, relevant and other resource logics (Q4032664) (← links)
- A normalization procedure for the equational fragment of labelled natural deduction (Q4237679) (← links)
- (Q4394918) (← links)
- (Q4440824) (← links)
- On the identity type as the type of computational paths (Q4644591) (← links)
- The Functional Interpretation of the Existential Quantifier (Q4842274) (← links)
- (Q4946226) (← links)
- ∞-Groupoid Generated by an Arbitrary Topological λ-Model (Q5092562) (← links)
- Intuitionistic N-Graphs (Q5176672) (← links)
- The Functional Interpretation of Direct Computations (Q5179008) (← links)
- Formalization of the pumping lemma for context-free languages (Q5195278) (← links)
- Propositional intuitionistic multiple-conclusion calculus via proof graphs (Q5241915) (← links)
- Natural Deduction for Equality: The Missing Entity (Q5251187) (← links)
- (Q5460164) (← links)
