(2003) Mathematical Proceedings of the Cambridge Philosophical Society, volume 134, pp. 445 - 463
(Article)
Abstract
Partial Combinatory Algebras, 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 show less