Oosten, Ordered partial combinatory algebras (2003)

by P Hofstra, J van
Venue:Mathematical Proceedings of the Cambridge Philosophical Society 134