scientific article

zbMath0970.68038MaRDI QIDQ2703747

Jonathan Ford, Ian A. Mason

Publication date: 8 May 2001

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

zbMATH Keywords

operational semanticsprogramming logics

Mathematics Subject Classification ID

Logic programming (68N17) Theory of software (68N99)

Related Items (7)

Mechanising \(\lambda\)-calculus using a classical first order theory of terms with permutations ⋮ The ESA XMM-Newton science operations centre: making basic space science available to the whole scientific world' ⋮ A formalization of the Knuth-Bendix(-Huet) critical pair theorem ⋮ A formalised first-order confluence proof for the \(\lambda\)-calculus using one-sorted variable names. ⋮ On generic context lemmas for higher-order calculi with sharing ⋮ Formalisation in constructive type theory of Stoughton's substitution for the lambda calculus ⋮ A PVS Theory for Term Rewriting Systems

This page was built for publication: