Ordered Partial Combinatory Algebras

DSpace/Manakin Repository

Ordered Partial Combinatory Algebras
 
Hofstra, P.; Oosten, J. van
(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
Download/Full Text
Open Access version via Utrecht University Repository
 
ISSN: 0305-0041 (printed)
1469-8064 (online)
Publisher: Cambridge University Press
 
See more statistics about this item