T. Coquand, C. Gunter, G. Winskel, Domain theoretical models of polymorphism, Information and Computation, vol.81, p.123-167, 1989.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....lower level of the resulting polymax model: 5 to the continuous semantics) These last models have constant polymorphic maps. Comparison with Girard s and CGW models. Girard s categorical model [16] belongs to the stable semantics and quanti es over qualitative domains. The continuous CGW model [11] is its adaptation to the continuous semantics, and there is nally a stable CGW model, which follows the same lines and replaces qualitative domains by DI domains [10] The three models are extensional (models of F ) None is polymax and the two stable models satisfy C: These models also encode ....

T. Coquand, C. Gunter, G. Winskel, Domain theoretical models of polymorphism, Information and Computation, vol.81, p.123-167, 1989.

....C) cf. Section 6) Finally it is easy to see that no square model could exist in the stable case (Remark 5 in Section 5.1) Comparison with Girard s and CGW models. Girard s categorical model [16] belongs to the stable semantics and quanties over qualitative domains. The continuous CGW model [11] is its adaptation to the continuous semantics, and there is nally a stable CGW model, which follows the same lines and replaces qualitative domains by DI domains [10] The three models are extensional (models of Fj) None is polymax and the two stable models satisfy C: These models also encode ....

T. Coquand, C. Gunter, G. Winskel, Domain theoretical models of polymorphism, Information and Computation, vol.81, p.123-167, 1989.

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