Oosten Ordered partial combinatory algebras (2006)

by P Hofstra, J van
Venue:Math. Proc. Cambridge Philos