scientific article; zbMATH DE number 2079015

MaRDI QIDQ4474827zbMATH OpenFDO

Authors Viviana Bono, Luigi Liquori

Publication date 21 July 2004

Mathematics Subject Classification ID

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

Recommendations

• A delegation-based object calculus with subtyping
• scientific article; zbMATH DE number 720178
• Publication:4934325
• scientific article; zbMATH DE number 2060756
• scientific article; zbMATH DE number 1114038

Cited in

(9)

• Matching for the lambda calculus of objects
• Privacy via subsumption
• scientific article; zbMATH DE number 2185707 (Why is no real title available?)
• scientific article; zbMATH DE number 720178 (Why is no real title available?)
• scientific article; zbMATH DE number 1114038 (Why is no real title available?)
• scientific article; zbMATH DE number 2060756 (Why is no real title available?)
• scientific article; zbMATH DE number 1390060 (Why is no real title available?)
• A delegation-based object calculus with subtyping
• A typed lambda calculus of objects (extended abstract)

Describes a project that uses

Uses Software

• Lilac

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4474827)