14 citations · 46 across the 8 of their papers we have counts for
1 paper · 1 filter
Walter Ferrer Santos, Jonas Frey, Mauricio Guillermo +2
We consider different classes of combinatory structures related to Krivine realizability. We show, in the precise sense that they give rise to the same class of triposes, that they…