Lics

IEEE Symposium on Logic in Computer Science

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

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

BibTeX

 @InProceedings{Taylor-Thefixedpointproper,
 author = 	 {Paul Taylor},
 title = 	 {The fixed point property in synthetic domain theory},
 booktitle = {Proceedings of the Sixth Annual IEEE Symposium on Logic in Computer Science (LICS 1991)},
 year =	 {1991},
 month =	 {July}, 
 pages = {152--160},
 location = {Amsterdam, The Netherlands}, 
 publisher =	 {IEEE Computer Society Press}
 }