scientific article; zbMATH DE number 1476647

MaRDI QIDQ4490374zbMATH OpenFDO

Authors Burkhart Wolff

Publication date 16 July 2000

zbMATH Keywords

binding structures

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01)

Recommendations

• A theory of binding structures and applications to rewriting
• Binding structures as an abstract data type
• A formalized general theory of syntax with bindings: extended version
• Higher-order substitutions
• Binders unbound

Cited in

(4)

• The generic transformation can be embedded in a flow.
• Binding structures as an abstract data type
• scientific article; zbMATH DE number 89006 (Why is no real title available?)
• Recursion principles for syntax with bindings and substitution

Describes a project that uses

Uses Software

• Isabelle

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4490374)