%0 Journal Article %1 journals/mscs/SantosFGMM17 %A Santos, Walter Ferrer %A Frey, Jonas %A Guillermo, Mauricio %A Malherbe, Octavio %A Miquel, Alexandre %D 2017 %J Math. Struct. Comput. Sci. %K %N 3 %P 428-458 %T Ordered combinatory algebras and realizability. %U http://dblp.uni-trier.de/db/journals/mscs/mscs27.html#SantosFGMM17 %V 27

@article{journals/mscs/SantosFGMM17, added-at = {2023-12-13T07:20:12.000+0100}, author = {Santos, Walter Ferrer and Frey, Jonas and Guillermo, Mauricio and Malherbe, Octavio and Miquel, Alexandre}, biburl = {https://www.bibsonomy.org/bibtex/2e6d1132da07d687b399e174e5503baa2/admin}, ee = {https://doi.org/10.1017/S0960129515000432}, interhash = {b7c9401fb26f141df1ba8d0cb424e350}, intrahash = {e6d1132da07d687b399e174e5503baa2}, journal = {Math. Struct. Comput. Sci.}, keywords = {}, number = 3, pages = {428-458}, timestamp = {2023-12-13T07:20:12.000+0100}, title = {Ordered combinatory algebras and realizability.}, url = {http://dblp.uni-trier.de/db/journals/mscs/mscs27.html#SantosFGMM17}, volume = 27, year = 2017 }