[FOM] paper: Partial Combinatory Algebras of Functions
Jaap van Oosten
J.vanOosten at uu.nl
Thu May 21 10:12:36 EDT 2009
A new paper of mine is available on the Arxiv:
http://front.math.ucdavis.edu/0905.2665
*Abstract:* We employ the notions of `sequential function' and
`interrogation' (dialogue) in order to define new partial combinatory
algebra structures on sets of functions. These structures are analyzed
using J. Longley's preorder-enriched category of partial combinatory
algebras and decidable applicative structures.We also investigate total
combinatory algebras of partial functions. One of the results is, that
every realizability topos is a quotient of a realizability topos on a
total combinatory algebra.
More information about the FOM
mailing list