14 citations · 25 across the 6 of their papers we have counts for
1 paper · 1 filter
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…