13 citations · 18 across the 5 of their papers we have counts for
1 paper · 2 filters
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…