scientific article; zbMATH DE number 1956525

zbMath1029.68043MaRDI QIDQ4417871

Simon Ambler, Alberto Momigliano

Publication date: 30 July 2003

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items (4)

The next 700 challenge problems for reasoning with higher-order abstract syntax representations. II: A survey ⋮ Reasoning about object-based calculi in (co)inductive type theory and the theory of contexts ⋮ Cut elimination for a logic with induction and co-induction ⋮ Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax

Uses Software

• Isabelle
• Isabelle/HOL
• mini-ML

This page was built for publication: