scientific article; zbMATH DE number 2079015

zbMath1044.03507MaRDI QIDQ4474827

Viviana Bono, Luigi Liquori

Publication date: 21 July 2004

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Combinatory logic and lambda calculus (03B40)

Related Items

A delegation-based object calculus with subtyping, Matching for the lambda calculus of objects, Privacy via subsumption

Uses Software

• Lilac