1 citations · 2 across the 2 of their papers we have counts for
2 papers
math.HO2023★ 1 cited
From Tractatus to Later Writings and Back -- New Implications from the Nachlass
Ruy J. G. B. de Queiroz
As a celebration of the \emph{Tractatus} 100th anniversary it might be worth revisiting its relation to the later writings. From the former to the latter, David Pears recalls that…
cs.LO2014★ 1 cited
Sequences of Rewrites: A Categorical Interpretation
Arthur Ramos, Ruy J. G. B. de Queiroz, Anjolina G. de Oliveira
In Martin-Löf's Intensional Type Theory, identity type is a heavily used and studied concept. The reason for that is the fact that it's responsible for the recently discovered conn…