• DocumentCode
    2145951
  • Title

    Sequentiality and strong stability

  • Author

    Bucciarelli, Antonio ; Ehrhard, Thomas

  • Author_Institution
    Dipartimento di Inf., Pisa Univ., Italy
  • fYear
    1991
  • fDate
    15-18 July 1991
  • Firstpage
    138
  • Lastpage
    145
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • 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
  • Type

    conf

  • DOI
    10.1109/LICS.1991.151638
  • Filename
    151638
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2145951