Title :
The fixed point property in synthetic domain theory
Author_Institution :
Dept. of Comput., Imperial Coll., London, UK
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;
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
DOI :
10.1109/LICS.1991.151640
