TY  - RPRT
TI  - Ordered combinatory algebras and realizability
AU  - Walter Ferrer Santos
AU  - Jonas Frey
AU  - Mauricio Guillermo
AU  - Octavio Malherbe
AU  - Alexandre Miquel
PY  - 2014
UR  - https://arxiv.org/abs/1410.5034
ID  - 1410.5034
ER  -