9. Infinite intersection and union types for the lazy lambda calculus

   Joint work with J.N. Kok

   A type theory with infinitary intersection and union types for the lazy lambda calculus is introduced. The meaning of types are subsets of a universe of discourse. Intersection and union type constructors are interpreted as the set-theoretic intersection and union, respectively, even when they …

   read more

10. A logical interface description language for components

    Joint work with F. Arbab and F. de Boer

    We present a formal model for component-based system, a logic based interface description language that conveys the observable semantics of a component, and a formal system for deriving properties of the system out of the interface of each of its constituent …

    read more

⇇ « Page 2 / 2