scientific article; zbMATH DE number 89006

MaRDI QIDQ4016565zbMATH OpenFDO

Authors Carolyn Talcott

Publication date 16 January 1993

zbMATH Keywords

abstract data typesbinding operatorbinding pathsbinding pointsbinding treebound variable names

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Abstract data types; algebraic specification (68Q65)

Recommendations

• Binding structures as an abstract data type
• Publication:4490374
• A new approach to abstract syntax with variable binding
• A canonical locally named representation of binding

Cited in

(4)

• On the classification of binding mechanisms
• A first order logic of effects
• A theory of binding structures and applications to rewriting
• A binding procedure for distributed binary data representations

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 Q4016565)