scientific article; zbMATH DE number 1927412

zbMath1013.68545MaRDI QIDQ4484329

Roy L. Crole, Simon Ambler, Alberto Momigliano

Publication date: 12 June 2003

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

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

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items

Mechanising \(\lambda\)-calculus using a classical first order theory of terms with permutations, Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax, Nominal techniques in Isabelle/HOL, Canonical HybridLF: extending Hybrid with dependent types, Formalization of metatheory of the Quipper quantum programming language in a linear logic, Formal meta-level analysis framework for quantum programming languages, A focused linear logical framework and its application to metatheory of object logics