External Links

    Journal: Higher-Order and Symbolic Computation

    Volume 19, Issue 2-3

    167 -- 168Furio Honsell, Carolyn L. Talcott. Editorial
    169 -- 195Michael Norrish. Mechanising lambda-calculus using a classical first order theory of terms with permutations
    197 -- 230Jason Hickey, Aleksey Nogin. Formal compiler construction in a logical framework
    231 -- 262Makoto Hamana. An initial algebra approach to term rewriting systems with variable binders
    263 -- 282Neil Ghani, Tarmo Uustalu, Makoto Hamana. Explicit substitutions and higher-order syntax
    283 -- 304Fabio Gadducci, Marino Miculan, Ugo Montanari. About permutation algebras, (pre)sheaves and named sets
    305 -- 337Miki Tanaka, John Power. Pseudo-distributive laws and axiomatics for variable binding
    runs on