Browse Research and Tech Reports - Computer Science by Author "Eckhardt, Jonas"

  • Eckhardt, Jonas; Muelbauer, Tobias; Meseguer, José (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/pdfPDF (357kB)