R. Amadio. Locality and failures II. To appear as Tec. Report, INRIA Sophia Antipolis, 1996. INRIA An interpretation of Typed Objects into Typed -calculus 39 Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
An interpretation of Typed Objects into Typed π-calculus - Sangiorgi (1996) (4 citations) (Correct)
....appears in input subject position at most once; a name received in an input can only be used in output position. The processes obeying this discipline are ifunctionalj, in that they have a conAEuent reduction relation. Some of these constraints appear in calculus like languages studied by Amadio [Ama96], Boreale [Bor96] Fournet and Gonthier [CG96] Identifying combinations of the calculus operators which are useful for the interpretation of objects might lead to the denition of a higher level target calculus, capable of yielding more succinct and readable interpretations of objects. We would ....
R. Amadio. Locality and failures II. To appear as Tec. Report, INRIA Sophia Antipolis, 1996. INRIA An interpretation of Typed Objects into Typed -calculus 39
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