Partial Combinatory Algebras of Functions

Details Partial Combinatory Algebras of Functions Partial Combinatory Algebras of Functions

2009-05-16

arxiv.org/abs/0905.2665v1

Mathematics

Logic

17 pages

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Partial Combinatory Algebras of Functions does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Partial Combinatory Algebras of Functions, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Partial Combinatory Algebras of Functions will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-503800