Bucciarelli, A., Ehrhard, T.: Sequentiality and strong stability. Sixth Annual IEEE Symposium on Logic in Computer Science (1991) 138--145 Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Towards Lambda Calculus Order-Incompleteness - Salibra (Correct)
....[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 strengthening of the continuous semantics. The stable semantics is given in the category of DI domains with stable functions as morphisms, while the strongly stable one in the category of DI domains with coherence, and strongly stable functions as morphisms. Lambda theories are consistent ....
....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 [11] is the class of the partially ordered models whose specialization order is a DI domain with coherence and the representable functions are all the strongly stable ones. The hypercoherence semantics introduced by Ehrhard [17] is a subclass of the strongly stable semantics. A class C of models of ....
Bucciarelli A. and T. Ehrhard, Sequentiality and strong stability, Sixth Annual IEEE Symposium on Logic in Computer Science (1991), 138--145. 11 Salibra
The Minimal Graph Model of Lambda Calculus - Bucciarelli, Salibra Self-citation (Bucciarelli) (Correct)
....(see e.g. 4] 7] 17] Scott s continuous semantics [19] is given in the category whose objects are complete partial orders (cpo s) and morphisms are Scott continuous functions. The stable semantics introduced by Berry [8] and the strongly stable semantics introduced by Bucciarelli Ehrhard [9] are strengthenings of the continuous semantics. The stable semantics is given in the category of DI domains with stable functions as morphisms, while the strongly stable one is given in the category of DI domains with coherence, and strongly stable functions as morphisms. All these semantics are ....
Bucciarelli, A., Ehrhard, T.: Sequentiality and strong stability. Sixth Annual IEEE Symposium on Logic in Computer Science (1991) 138--145
Degrees of Parallelism in the Continuous Type Hierarchy - BUCCIARELLI (1995) (2 citations) Self-citation (Bucciarelli) (Correct)
.... of coherent subsets of B n is noted C(B n ) fact 1: If A 2 C(B n ) and B is an Egli Milner lower bound of A 3 , then B 2 C(B n ) Definition 2 A continuous function f : B n B m is linearly strongly stable (or simply strongly stable) if for any A 2 C(B n ) 1 in the sense of [2] 2 O denotes the Sierpinsky domain f ; g 3 that is 8x 2 A9y 2 B y x and 8y 2 B9x 2 A y x ffl f(A) 2 C(B m ) ffl f( V A) V (f(A) The following proposition states that strong stability captures the notion of sequential definability, at least at first order. Proposition 1 Any ....
A. Bucciarelli, T. Ehrhard. Sequentiality and strong stability. Proc. Sixth Annual IEEE Symposium on Logic in Computer Science, 1991.
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