Sixth Annual IEEE Symposium on

Logic in Computer Science (LICS 1991)

Paper: The fixed point property in synthetic domain theory (at LICS 1991)

Authors: Paul Taylor


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


    author = 	 {Paul Taylor},
    title = 	 {The fixed point property in synthetic domain theory},
    booktitle =  {Proceedings of the Sixth Annual IEEE Symp. on Logic in Computer Science, {LICS} 1991},
    year =	 1991,
    editor =	 {Giles Kahn},
    month =	 {July}, 
    pages =      {152--160},
    location =   {Amsterdam, The Netherlands}, 
    publisher =	 {IEEE Computer Society Press}