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 (7)

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

This page was built for publication: