paper: Partial Combinatory Algebras of Functions
21 May
2009
21 May
'09
2:12 p.m.
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.
6220
Age (days ago)
6220
Last active (days ago)
0 comments
1 participants
participants (1)
-
Jaap van Oosten