Oosten. Ordered partial combinatory algebras (1992)

by Pieter Hofstra , Jaap Van Oosten
Venue:Mathematical Proceedings of the Cambridge Philosophical Society
Citations:6 - 2 self