Browse Research and Tech Reports - Computer Science by Subject "higher-order syntax, explicit substitution, CINNI, Maude"

  • Eckhardt, Jonas, Muelbauer, Tobias, Meseguer, Jose (2011-09-27)
    Many formal languages use the concept of names to range over essential entities of the language and are usually equipped with special binding constructs for names. For example, the lambda-calculus uses variables as ...

    application/pdf

    application/pdfPDF (357Kb)