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

zbMATH Open1271.68084MaRDI QIDQ2847780FDOQ2847780

Authors: Alberto Ciaffaglione, Ivan Scagnetto 

Publication date: 11 September 2013

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

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

Mathematics Subject Classification ID

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

Cited In (4)

• The theory of contexts for first order and higher order abstract syntax
• Consistency of the theory of contexts
• Developing (meta)theory of \(\lambda\)-calculus in 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)