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
\(\infty\)-groupoid generated by an arbitrary topological \(\lambda\)-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
The functional interpretation of logical deduction	2011-09-13	Paper
A new basic set of transformations between proofs	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
On the descriptive complexity of the two disjoint paths problem over undirected graphs	2008-05-02	Paper
Descriptive complexity of modularity problems on graphs	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, \textit{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

This page was built for person: Ruy J. G. B. de Queiroz