External Links

    Journal: Logical Methods in Computer Science

    Volume 1, Issue 2

    0 -- 0Erik Palmgren. Internalising modified realisability in constructive type theory
    0 -- 0Dag Normann. Comparing hierarchies of total functionals
    0 -- 0Sanjit A. Seshia, Randal E. Bryant. Deciding Quantifier-Free Presburger Formulas Using Parameterized Solution Bounds
    0 -- 0Venanzio Capretta. General recursion via coinductive types
    0 -- 0Malgorzata Biernacka, Dariusz Biernacki, Olivier Danvy. An Operational Foundation for Delimited Continuations in the CPS Hierarchy
    0 -- 0Ulrich Berger. Strong normalization for applied lambda calculi
    runs on