scientific article; zbMATH DE number 89006

zbMATH Open0755.68083MaRDI QIDQ4016565FDOQ4016565

Authors: Carolyn Talcott 

Publication date: 16 January 1993

Title of this publication is not available (Why is that?)

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

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)

Cited In (4)

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

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)