Ruy J. G. B. de Queiroz

Available identifiers

zbMath Open de-queiroz.ruy-jose-guerra-barrettoMaRDI QIDQ1005957

List of research outcomes

Publication	Date of Publication	Type
The Theory of an Arbitrary Higher \(\lambda\)-Model	2024-02-29	Paper
Towards a homotopy domain theory	2023-04-27	Paper
From Tractatus to Later Writings and Back -- New Implications from the Nachlass	2023-04-21	Paper
∞-Groupoid Generated by an Arbitrary Topological λ-Model	2022-07-22	Paper
Some applications of the formalization of the pumping lemma for context-free languages	2019-11-13	Paper
Propositional intuitionistic multiple-conclusion calculus via proof graphs	2019-11-04	Paper
Formalization of the pumping lemma for context-free languages	2019-09-18	Paper
On the identity type as the type of computational paths	2019-01-08	Paper
Normalization of N-graphs via sub-N-graphs	2018-04-23	Paper
On the Formalization of Some Results of Context-Free Language Theory	2016-09-09	Paper
Natural Deduction for Equality: The Missing Entity	2015-05-22	Paper
The Functional Interpretation of Direct Computations	2015-03-18	Paper
Intuitionistic N-Graphs	2015-02-27	Paper
Sequentialization for N-Graphs via Sub-N-Graphs	2015-01-13	Paper
Sequences of Rewrites: A Categorical Interpretation	2014-12-05	Paper
Linear Time Proof Verification on N-Graphs: A Graph Theoretic Approach	2013-09-17	Paper
Proof-graphs: a Thorough Cycle Treatment, Normalization and Subformula Property	2011-11-22	Paper
https://portal.mardi4nfdi.de/entity/Q3091729	2011-09-13	Paper
https://portal.mardi4nfdi.de/entity/Q3012539	2011-07-06	Paper
Transformations via Geometric Perspective Techniques Augmented with Cycles Normalization	2009-07-02	Paper
On reduction rules, meaning-as-use, and proof-theoretic semantics	2009-03-17	Paper
https://portal.mardi4nfdi.de/entity/Q5460164	2008-05-02	Paper
https://portal.mardi4nfdi.de/entity/Q3435237	2007-04-25	Paper
On dividing chains in simple theories	2005-11-24	Paper
https://portal.mardi4nfdi.de/entity/Q4440824	2003-01-01	Paper
Meaning, Function, Purpose, Usefulness, Consequences - Interconnected Concepts	2002-06-16	Paper
https://portal.mardi4nfdi.de/entity/Q4946226	2001-02-05	Paper
A normalization procedure for the equational fragment of labelled natural deduction	1999-10-28	Paper
https://portal.mardi4nfdi.de/entity/Q4394918	1998-06-11	Paper
The Functional Interpretation of the Existential Quantifier	1996-02-18	Paper
Extending the Curry-Howard interpretation to linear, relevant and other resource logics	1993-04-01	Paper
Abstract Data Types and Type Theory: Theories as Types	1991-01-01	Paper
Proof theory and computer programming	1990-01-01	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: Ruy J. G. B. de Queiroz