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

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

This page was built for publication: