Title :
Sequentiality and strong stability
Author :
Bucciarelli, Antonio ; Ehrhard, Thomas
Author_Institution :
Dipartimento di Inf., Pisa Univ., Italy
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
Keywords :
formal logic; Kahn-Plotkin sequentiality; ground types; morphisms; preservation property; strong stability; Coherence; Computer languages; Stability; Switches;
Conference_Titel :
Logic in Computer Science, 1991. LICS '91., Proceedings of Sixth Annual IEEE Symposium on
Conference_Location :
Amsterdam
Print_ISBN :
0-8186-2230-X
DOI :
10.1109/LICS.1991.151638
