Ordered partial combinatory algebras (0)

by Pieter Hofstra, Jaap van Oosten
Venue:Math. Proc. Cambridge Philos. Soc