External Links

    Journal: Higher-Order and Symbolic Computation

    Volume 11, Issue 3

    233 -- 279Luc Moreau. A Syntactic Theory of Dynamic Binding
    281 -- 343Carolyn L. Talcott. Composable Semantic Models for Actor Theories
    runs on