O.Bastonero, A. Pravato, S. Ronchi della Rocca "Structures for Lazy Semantics ", PROCOMET '98, Chapman & Hall, London, 1998, 30-48. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Game Semantics for the Pure Lazy λ-Calculus - Di Gianantonio (Correct)
....l . The following properties will be used: the lazy reduction strategy converges on any term M equivalent to a abstraction; the relation l is a theory. The above properties follow immediately from the fact that there exist adequate models for the lazy calculus (see [AO93,AM95a,BPR98] 3 The categories of monotonic games In this section, we de ne the two categories of games employed in this article. These two categories are closely related to the categories G and K (G) presented in [AJM94] They are de ned following similar patterns; essentially, they only di er with ....
...., and their compositions are continuous with respect to E; therefore, the method applies to them. 5 Lazy models in K (GM ) A standard way to construct a model for the lazy calculus consists in taking the initial xed point of the functor F (D) D D) AO93] AM95a] BPR98] EHR92] Here we use the same technique. We denote with D the least xedpoint of the game constructor: F (A) A A) A ( A) in the category of monotonic games ( D = S F n (I) We denote with : D ( D ( D) the morphism dn D(D der D and with : D ( D) D the morphism up ....
O. Bastonero, A. Pravato, and S Ronchi. Structures for lazy semantics. In Programming Concepts and Methods, PROCOMET'98. Chapman & Hall, 1998.
Intersection Types, λ-models, and Böhm Trees - Dezani-Ciancaglini.. (1998) (Correct)
....domains, like Girard s qualitative and quantitative domains, are studied using the intersection types. All the above mentioned models are models of the classical calculus, but intersection type disciplines are also suitable for describing models of the I calculus [9, 55] of the lazy calculus [2, 18], of the call by value calculus (introduced by Plotkin in [74] 49, 78, 79] and of some extensions of the calculus which include parallel features [21, 42, 43, 6] The finitary descriptions of domains have been a major point of interest. Scott pioneered this topic with his Information Systems ....
O.Bastonero, A. Pravato, S. Ronchi della Rocca "Structures for Lazy Semantics ", PROCOMET '98, Chapman & Hall, London, 1998, 30-48.
Operational Semantics and Extensionality - Simona Ronchi Della (2000) Self-citation (Ronchi) (Correct)
No context found.
Bastonero O., Pravato A., Ronchi Della Rocca S., "Structures for Lazy Semantics", Programming Concepts and Methods, Gries and de Roever ed.s, Chaptman & Hall, (1998), pp.30-48.
Intersection Types, λ-models, and Böhm Trees - Dezani-Ciancaglini.. (Correct)
No context found.
O.Bastonero, A. Pravato, S. Ronchi della Rocca "Structures for Lazy Semantics ", PROCOMET '98, Chapman & Hall, London, 1998, 30-48.
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