External Links

    Journal: Journal of Logic and Computation

    Volume 5, Issue 4

    397 -- 421Thomas P. Jensen. Conjunctive Type Systems and Abstract Interpretation of Higher-Order Functional Programs
    423 -- 447Martin C. Henson. An intensional semantics for elementary program transformations
    449 -- 471Tanel Tammet. Completeness of Resolution for Definite Answers
    473 -- 494Karl Schlechta. Defaults as Generalized Quantifiers
    495 -- 541David Sands. A Naïve Time Analysis and its Theory of Cost Equivalence
    runs on