Ordered partial combinatory algebras
PIETER J. W. HOFSTRA, Jaap van Oosten · Mathematical Proceedings of the Cambridge Philosophical Society · 2003
Partial combinatory algebras (pcas), models for a form of Combinatory Logic with partial application, have been studied for the last thirty years because of their close connection to Intuitionistic Logic (see, for example, [11])