A Calculus with Lazy Module Operators

Davide Ancona, Sonia Fagorzi, Elena Zucca. A Calculus with Lazy Module Operators. In Jean-Jacques Lévy, Ernst W. Mayr, John C. Mitchell, editors, Exploring New Frontiers of Theoretical Informatics, IFIP 18th World Computer Congress, TC1 3rd International Conference on Theoretical Computer Science (TCS2004), 22-27 August 2004, Toulouse, France. pages 423-436, Kluwer, 2004.

Abstract

Abstract is missing.