Ordered Partial Combinatory Algebras
Publication date
2003
Authors
Hofstra, P.
Oosten, J. van
Editors
Advisors
Supervisors
DOI
Document Type
Article
Metadata
Show full item recordCollections
License
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