* paper: Partial Combinatory Algebras of Functions
[not found] ` <4A0BE853.1080708-qTWcuMntz1Q@public.gmane.org>
@ 2009-05-21 14:12 ` Jaap van Oosten
0 siblings, 0 replies; 2+ messages in thread
From: Jaap van Oosten @ 2009-05-21 14:12 UTC (permalink / raw)
To: Foundations of Mathematics, Categories
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.
^ permalink raw reply [flat|nested] 2+ messages in thread
* paper: Partial Combinatory Algebras of Functions
@ 2009-05-21 14:12 Jaap van Oosten
0 siblings, 0 replies; 2+ messages in thread
From: Jaap van Oosten @ 2009-05-21 14:12 UTC (permalink / raw)
To: Foundations of Mathematics, Categories
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.
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2009-05-21 14:12 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
[not found] <8CBA196F31E8553-134C-6AC@WEBMAIL-DY09.sysops.aol.com>
[not found] ` <4A0BE853.1080708@uu.nl>
[not found] ` <4A0BE853.1080708-qTWcuMntz1Q@public.gmane.org>
2009-05-21 14:12 ` paper: Partial Combinatory Algebras of Functions Jaap van Oosten
2009-05-21 14:12 Jaap van Oosten
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).