C. Lavatelli, "Non-Deterministic Lazy -calculus versus -calculus", LIENS Internal Report n. 15, Paris 1993. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
A Filter Model for Concurrent λ-Calculus - Dezani-Ciancaglini.. (1998) (Correct)
....which has not yet been mentioned, is that initiated by Milner in [50] and developed by Sangiorgi in [61] The idea is to consider the calculus as the basic model, and to study lazy calculus via encodings into the calculus itself. A comparative study and a survey of these investigations is [43]. Although related, this approach seems orthogonal to that which is developed in the present paper, where the non deterministic lazy calculus is studied with respect to a denotational model via a type assignment system. In spite of this, as remarked at page 41, we conjecture that the theory of ....
C. Lavatelli, "Non-Deterministic Lazy -calculus versus -calculus", LIENS Internal Report n. 15, Paris 1993.
A Filter Model for Concurrent λ-Calculus - Dezani-Ciancaglini.. (1998) (Correct)
No context found.
C. Lavatelli, "Non-Deterministic Lazy -calculus versus -calculus", LIENS Internal Report n. 15, Paris 1993.
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