Ordered combinatory algebras and realizability. - Walter Ferrer Santos; Jonas Frey; Mauricio Guillermo; Octavio Malherbe; Alexandre Miquel (Math. Struct. Comput. Sci., 2017)

Realizability in ordered combinatory algebras with adjunction. - Walter Ferrer Santos; Mauricio Guillermo; Octavio Malherbe (Math. Struct. Comput. Sci., 2019)

The category of implicative algebras and realizability. - Walter Ferrer Santos; Octavio Malherbe (Math. Struct. Comput. Sci., 2019)