scientific article

zbMath0983.68036MaRDI QIDQ2767057

Dale A. Miller

Publication date: 28 January 2002

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

Mathematics Subject Classification ID

Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (10)

A two-level logic approach to reasoning about computations ⋮ Nominal abstraction ⋮ Constraint handling rules with binders, patterns and generic quantification ⋮ Unnamed Item ⋮ The Abella Interactive Theorem Prover (System Description) ⋮ Incorporating quotation and evaluation into Church's type theory ⋮ A Higher-Order Abstract Syntax Approach to Verified Transformations on Functional Programs ⋮ On the Expressivity of Minimal Generic Quantification ⋮ Formalizing Operational Semantic Specifications in Logic ⋮ Encoding Generic Judgments

This page was built for publication: