• DocumentCode
    2146476
  • Title

    The fixed point property in synthetic domain theory

  • Author

    Taylor, Paul

  • Author_Institution
    Dept. of Comput., Imperial Coll., London, UK
  • fYear
    1991
  • fDate
    15-18 July 1991
  • Firstpage
    152
  • Lastpage
    160
  • Abstract
    An elementary axiomatization of synthetic domain theory is presented, and it is shown that it is sufficient to deduce the fixed point property and solve domain equations. The aim is to show that an important theorem can be derived from an abstract axiomatization, rather than from a particular model. Also, by providing a common framework in which both PER and classical models can be expressed, this work builds a bridge between the two
  • Keywords
    formal logic; PER; classical models; domain equations; fixed point property; synthetic domain theory; Bridges; Educational institutions; Equations; Filters; Integrated circuit synthesis; Performance evaluation; Testing;
  • 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.151640
  • Filename
    151640
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2146476