R. D. de Queiroz

activity

20112026

most citedPropositional equality, identity types, and direct computational paths

14 citations · 30 across the 16 of their papers we have counts for

collaborators

Showing 2020Show all

2 papers · 1 filter

cs.LO2020★ 2 cited

Towards a Homotopy Domain Theory

Daniel O. Martínez-Rivillas, Ruy J. G. B. de Queiroz

An appropriate framework is put forward for the construction of $λ$ -models with $\infty$ -groupoid structure, which we call \textit{homotopic $λ$ -models}, through the use of an $\in…

cs.LO2020

Computational Paths -- An approach in the $L N D_{E Q} - T R S_{2}$ system

Tiago M. L. Veras, Arthur F. Ramos, Ruy J. G. B. de Queiroz +1

We use a labelled deduction system ( LND $_{E D -}$ TRS ) based on the concept of computational paths (sequences of rewrites) as equalities between two terms of the same type, which al…

Towards a Homotopy Domain Theory

Computational Paths -- An approach in the LNDEQ​−TRS2​ system

Computational Paths -- An approach in the $L N D_{E Q} - T R S_{2}$ system