Next: KTH
Up: INRIA-Sophia
Previous: Participation to CONFER Workshops
[[AmCou97]]
R. Amadio and S. Coupet-Grimal.
Analysis of a guard condition in type theory (preliminary report).
Technical Report TR 1997.245. Also RR-3300 INRIA, Université de
Provence (LIM), 1997.
[[AmCu97]]
R. Amadio and P.-L. Curien.
Domains and Lambda-Calculi.
Cambridge University Press.
To appear.
[[AmPra97]]
R. Amadio and S. Prasad.
Modelling IP mobility.
Technical Report TR 1997.244. Also RR-3301 INRIA, Université de
Provence (LIM), 1997.
[[Bou97a]]
G. Boudol.
The pi-calculus in direct style.
In Proceedings POPL'97, 1997.
[[Bou97b]]
G. Boudol.
Typing the use of resources in a concurrent calculus.
In Proceedings ASIAN'97, LNCS 1345, 1997.
[[Dal97]]
S. Dal-Zilio.
Implicit polymorphic type system for the blue calculus.
Technical Report RR-3244, INRIA, 1997.
[[PiSa97]]
B. Pierce and D. Sangiorgi.
Behavioral equivalence in the polymorphic pi-calculus.
In 24th POPL. ACM Press, 1997.
[[San97a]]
D. Sangiorgi.
The name discipline of receptiveness.
volume 1256 of Lecture Notes in Computer Science. Springer
Verlag, 1997.
Full paper available electronically as
ftp://zenon.inria.fr/meije/theorie-par/davides/Receptiveness.ps.Z.
[[San97J]]
D. Sangiorgi.
Typed -calculus at work: a proof of Jones's parallelisation
transformation on concurrent objects.
Presented at the Fourth Workshop on Foundations of
Object-Oriented Languages (FOOL 4). To appear in Theory and
Practice of Object-oriented Systems, 1997.
1/10/1998