×

A new approach to abstract syntax with variable binding. (English) Zbl 1001.68083


MSC:

68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
03E99 Set theory
18B20 Categories of machines, automata

Software:

Isabelle
PDFBibTeX XMLCite
Full Text: DOI