External Links

    Journal: Journal of Logic, Language and Information

    Volume 2, Issue 3

    171 -- 215Fairouz Kamareddine, Ewan Klein. Polymorphism, Type containment and Nominalization
    217 -- 254C. F. M. Vermeulen. Sequence semantics for dynamic predicate logic
    runs on