[Prev][Next][Index][Thread]
combinatory algebra for sequential computation

To: types@cs.indiana.edu

Subject: combinatory algebra for sequential computation

From: Jaap van Oosten <jvoosten@math.ruu.nl>

Date: Thu, 13 Feb 1997 14:57:03 +0100

DeliveryDate: Thu, 13 Feb 1997 08:57:09 0500
The following paper is available at the address
http://www.math.ruu.nl/publications/preprints/996.ps.gz
A COMBINATORY ALGEBRA FOR SEQUENTIAL FUNCTIONALS OF FINITE TYPE
by Jaap van Oosten
Abstract:
It is shown that the type structure of finitetype functionals
associated to a combinatory algebra of partial functions from $\N$ to
$\N$ (in the same way as the type structure of the countable
functionals is associated to the partial combinatory algebra of total
functions from $\N$ to $\N$), is isomorphic to the type structure
generated by object $N$ (the flat domain on the natural numbers) in
Ehrhard's category of ``dIdomains with coherence'', or his
``hypercoherences''.