Browse Research and Tech Reports - Computer Science by Subject "Higher Order Abstract Syntax"

  • Popescu, Andrei (2009-05-11)
    We develop some Higher-Order Abstract Syntax (HOAS) concepts and proof principles as a collection of definitions and propositions on top of the original syntax with bindings. Our approach brings together hassle-free ...

    application/pdf

    application/pdfPDF (380Kb)