Ordered partial combinatory algebras

By Pieter J. W. Hofstra, J. V. Oosten. Mathematical Proceedings of the Cambridge Philosophical Society, 2003

47 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics

View Paper: https://www.semanticscholar.org/paper/2eb746f1b9d9360c677514306fe2cfd81622490d