scientific article; zbMATH DE number 1956525

zbMATH Open1029.68043MaRDI QIDQ4417871FDOQ4417871

Authors Alberto Momigliano, Simon J. Ambler

Publication date 30 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2620/26200375.htm

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax
• scientific article; zbMATH DE number 1927412
• Reasoning with higher-order abstract syntax in a logical framework
• Two-level hybrid: a system for reasoning using higher-order abstract syntax
• scientific article; zbMATH DE number 1927423

Cited in

(9)

• Abstract metaprolog engine
• The next 700 challenge problems for reasoning with higher-order abstract syntax representations. II: A survey
• Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax
• Cut elimination for a logic with induction and co-induction
• scientific article; zbMATH DE number 1927412 (Why is no real title available?)
• Automated reasoning with a constraint-based metainterpreter
• scientific article; zbMATH DE number 1927423 (Why is no real title available?)
• Reasoning with higher-order abstract syntax in a logical framework
• Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts

Describes a project that uses

Uses Software

• Isabelle
• Isabelle/HOL
• mini-ML

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