| This resource is not discoverable in the library. If the resource was recently submitted, it may require some time before it becomes discoverable through this search service. | | Resource Title: | A Combinatory Algebra for Sequential Functionals of Finite
|
|---|
| Description: | It is shown that the type structure of finite-type functionals associated to a combinatory algebra of partial functions from IN to IN (in the same way as the type structure of the countable functionals is associated to the partial combinatory algebra of total functions from IN to IN), is isomorphic to the type structure generated by object N (the flat domain on the natural numbers) in Ehrhard's category of "dI-domains with coherence", or his "hypercoherences". |
|---|
|
