scientific article; zbMATH DE number 1538035

zbMath0960.68037MaRDI QIDQ4518890

J. B. Wells, René Vestergaard

Publication date: 20 May 2001

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

zbMATH Keywords

\(\lambda\)-calculus\(m\)-calculus

Mathematics Subject Classification ID

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

Related Items

A flexible model for dynamic linking in Java and C\#, A formalised first-order confluence proof for the \(\lambda\)-calculus using one-sorted variable names., Featherweight Jigsaw. Replacing inheritance by composition in Java-like languages, A typed context calculus, The Mechanisation of Barendregt-Style Equational Proofs (the Residual Perspective), Computational Soundness of a Call by Name Calculus of Recursively-scoped Records