External Links

    Journal: Journal of Logic and Computation

    Volume 11, Issue 3

    359 -- 361Fairouz Kamareddine. Editorial
    363 -- 394Fairouz Kamareddine. Reviewing the Classical and the de Bruijn Notation for [lambda]-calculus and Pure Type Systems
    395 -- 417Mariangiola Dezani-Ciancaglini, Furio Honsell, Yoko Motohama. Approximation Theorems for Intersection Type Systems
    419 -- 429Gilles Dowek. About Folding-Unfolding Cuts and Cuts Modulo
    431 -- 451Hugo Herbelin. Explicit Substitutions and Reducibility
    453 -- 481Hélène Kirchner, Peter D. Mosses. Algebraic Specifications, Higher-order Types and Set-theoretic Models
    483 -- 493Jonathan P. Seldin. Extensional Set Equality in the Calculus of Constructions
    runs on