Logic in Computer Science (LICS 1991)

Paper: Sequentiality and strong stability (at LICS 1991)

Authors: Antonio Bucciarelli Thomas Ehrhard

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

BibTeX

  @InProceedings{BucciarelliEhrhard-Sequentialityandstr,
    author = 	 {Antonio Bucciarelli and Thomas Ehrhard},
    title = 	 {Sequentiality and strong stability},
    booktitle =  {Proceedings of the Sixth Annual IEEE Symp. on Logic in Computer Science, {LICS} 1991},
    year =	 1991,
    editor =	 {Giles Kahn},
    month =	 {July}, 
    pages =      {138--145},
    location =   {Amsterdam, The Netherlands}, 
    publisher =	 {IEEE Computer Society Press}
  }