Abstract:
It is shown that Kahn-Plotkin sequentiality can be expressed by a preservation property similar to stability and that this kind of generalized stability can be extended t...Show MoreMetadata
Abstract:
It is shown that Kahn-Plotkin sequentiality can be expressed by a preservation property similar to stability and that this kind of generalized stability can be extended to higher order. The main result is the construction of a model where all morphisms are functions and, at ground types, these functions are sequential.<>
Date of Conference: 15-18 July 1991
Date Added to IEEE Xplore: 06 August 2002
Print ISBN:0-8186-2230-X
