13 citations · 18 across the 5 of their papers we have counts for
1 paper · 1 filter
Walter Ferrer Santos, Mauricio Guillermo, Octavio Malherbe
Besides recalling the basic definitions of Realizability Lattices, Abstract Krivine Structures, Ordered Combinatory Algebras and Tripos and reviewing its relationships, we propose…