External Links

    Journal: Nord. J. Comput.

    Volume 10, Issue 4

    263 -- 264Magne Haveraaen, Jüri Vain. Guest Editors Foreword
    265 -- 289Marcin Benke, Peter Dybjer, Patrik Jansson. Universes for Generic Programs and Proofs in Dependent Type Theory
    290 -- 312Neil Ghani, Christoph Lüth. Rewriting Via Coinserters
    313 -- 336Einar Broch Johnsen, Christoph Lüth. Abstracting Refinements for Transformation
    337 -- 0Henrik Pilegaard, Michael R. Hansen, Robin Sharp. An Approach to Analyzing Availability Properties of Security Protocols
    runs on