Plug and play the theory of contexts in higher-order abstract syntax

MaRDI QIDQ2847780zbMATH OpenFDO

Authors Alberto Ciaffaglione, Ivan Scagnetto

Publication date 11 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S157106610405145X

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Functional programming and lambda calculus (68N18)

Recommendations

• The theory of contexts for first order and higher order abstract syntax
• scientific article; zbMATH DE number 1701361
• Consistency of the theory of contexts
• scientific article; zbMATH DE number 1231614
• A typed context calculus

Cited in

(4)

• Developing (meta)theory of \(\lambda\)-calculus in the theory of contexts
• The theory of contexts for first order and higher order abstract syntax
• Consistency of the theory of contexts
• Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts

This page was built for publication: Plug and play the theory of contexts in higher-order abstract syntax

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