4 citations · 12 across the 20 of their papers we have counts for
1 paper · 1 filter
Luis Gambarte, Iosif Petrakis
Translating notions and results from category theory to the theory of computability models of Longley and Normann, we introduce the Grothendieck computability model and the first-p…