Binding structures as an abstract data type

DOI10.1007/978-3-662-46669-8_31zbMATH Open1335.68153OpenAlexW602535979MaRDI QIDQ2802464FDOQ2802464

Authors: Wilmer Ricciotti 

Publication date: 26 April 2016

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: http://link.springer.com/chapter/10.1007%2F978-3-662-46669-8_31

Recommendations

• A canonical locally named representation of binding
• The locally nameless representation
• Binders unbound
• Publication:4490374
• scientific article; zbMATH DE number 1692888

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Abstract data types; algebraic specification (68Q65)

Cited In (8)

• A formalization of SQL with nulls
• The locally nameless representation
• A canonical locally named representation of binding
• Theorem Proving in Higher Order Logics
• Binders unbound
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Uses Software

• Isabelle/HOL
• PoplMark
• LNgen
• Autosubst

This page was built for publication: Binding structures as an abstract data type

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