Barendregt H.P., M. Coppo and M. Dezani-Ciancaglini, A filter model and the completeness of type assignmen, Journal of Symbolic Logic 48 (1983), 931--940.  Home/Search   Document Not in Database   Summary   Related Articles

....arising from syntax free constructions, have been introduced in various categories of domains (see [1] 45] 1 Email: salibra dsi.unive.it c fl2001 Published by Elsevier Science B. V. Salibra and classified into semantics according to the nature of their representable functions (see [2] 3] [4] [9] 15] 19] 24] Scott s continuous semantics [42] is given in the category whose objects are complete partial orders and morphisms are continuous functions. The stable semantics introduced by Berry in [10] and the strongly stable semantics introduced by Bucciarelli and Ehrhard in [11] are ....

....the Scott topology. The graph model semantics (see [43] 18] 33] 34] 9, Section 5.5] is a subclass of the K semantics isolated by Krivine (see [28] 9, Section 5.6.2] within the continuous semantics. The filter model semantics was defined by Coppo, Dezani, Honsell and Longo in [15] see also [4]) within the continuous semantics. The stable semantics introduced by Berry [10] is the class of the partially ordered models whose specialization order is a DI domain and the representable functions are all the stable ones. The strongly stable semantics introduced by Bucciarelly and Ehrhard in ....

Barendregt H.P., M. Coppo and M. Dezani-Ciancaglini, A filter model and the completeness of type assignmen, Journal of Symbolic Logic 48 (1983), 931--940.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC