Realizability in ordered combinatory algebras with adjunction. - SANTOS, WALTER FERRER; GUILLERMO, MAURICIO; MALHERBE, OCTAVIO (Mathematical Structures in Computer Science, 2019)