19 citations · 74 across the 16 of their papers we have counts for
1 paper · 1 filter
Walter Ferrer, Octavio Malherbe
In this paper we continue with the algebraic study of Krivine's realizability, refining some of the authors' previous constructions by introducing two categories, with objects the…