scientific article; zbMATH DE number 1114038

MaRDI QIDQ4375807zbMATH OpenFDO

Authors Viviana Bono, Michele Bugliesi, Luigi Liquori

Publication date 1 October 1998

zbMATH Keywords

type systemincomplete objectslambda calculus of objectsmytype specialization property

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 720178
• scientific article; zbMATH DE number 2060756
• scientific article; zbMATH DE number 2079015
• scientific article; zbMATH DE number 2185707
• Matching for the lambda calculus of objects

Cited in

(10)

• Theoretical Pearls:Representing ‘undefined’ in lambda calculus
• scientific article; zbMATH DE number 1810493 (Why is no real title available?)
• scientific article; zbMATH DE number 720178 (Why is no real title available?)
• Objects and their lambda calculus
• scientific article; zbMATH DE number 2185707 (Why is no real title available?)
• scientific article; zbMATH DE number 2079015 (Why is no real title available?)
• scientific article; zbMATH DE number 2060756 (Why is no real title available?)
• scientific article; zbMATH DE number 1479620 (Why is no real title available?)
• Privacy via subsumption
• A typed lambda calculus of objects (extended abstract)

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