scientific article; zbMATH DE number 1956525
From MaRDI portal
Publication:4417871
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.
Theory of compilers and interpreters (68N20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
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
