SANTOS, W. F., GUILLERMO, M., & MALHERBE, O. (2019). Realizability in ordered combinatory algebras with adjunction. Mathematical Structures in Computer Science, 29(3), 430. https://doi.org/10.1017/S0960129518000075
Chicago Style (17th ed.) CitationSANTOS, WALTER FERRER, MAURICIO GUILLERMO, and OCTAVIO MALHERBE. "Realizability in Ordered Combinatory Algebras with Adjunction." Mathematical Structures in Computer Science 29, no. 3 (2019): 430. https://doi.org/10.1017/S0960129518000075.
MLA (9th ed.) CitationSANTOS, WALTER FERRER, et al. "Realizability in Ordered Combinatory Algebras with Adjunction." Mathematical Structures in Computer Science, vol. 29, no. 3, 2019, p. 430, https://doi.org/10.1017/S0960129518000075.
Warning: These citations may not always be 100% accurate.