External Links

    Journal: Electronic Notes in Theoretical Computer Science

    Volume 174, Issue 5

    1 -- 2Alberto Momigliano, Brigitte Pientka. Preface
    3 -- 18Alwen Tiu. A Logic for Reasoning about Generic Judgments
    19 -- 35Ulrich Schöpp. Modelling Generic Judgements
    37 -- 52Murdoch Gabbay. Hierarchical Nominal Terms and Their Theory of Rewriting
    53 -- 67Stefan Berghofer, Christian Urban. A Head-to-Head Comparison of de Bruijn Indices and Names
    69 -- 77Brian E. Aydemir, Aaron Bohannon, Stephanie Weirich. Nominal Reasoning Techniques in Coq: (Extended Abstract)
    79 -- 94Jason Hickey, Aleksey Nogin, Xin Yu, Alexei Kopylov. Practical Reflection for Sequent Logics
    95 -- 108Andrew W. Appel, Xavier Leroy. A List-machine Benchmark for Mechanized Metatheory: (Extended Abstract)
    109 -- 125Kevin Donnelly, Hongwei Xi. A Formalization of Strong Normalization for Simply-Typed Lambda-Calculus and System F
    127 -- 139Chad E. Brown. Encoding Functional Relations in Scunak
    141 -- 149Mircea-Dan Hernest. Synthesis of Moduli of Uniform Continuity by the Monotone Dialectica Interpretation in the Proof-system MinLog
    runs on