scientific article; zbMATH DE number 1114038

zbMath0896.03016MaRDI QIDQ4375807

Viviana Bono, Michele Bugliesi, Luigi Liquori

Publication date: 1 October 1998

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

zbMATH Keywords

type systemincomplete objectslambda calculus of objectsmytype specialization property

Mathematics Subject Classification ID

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

Related Items

Privacy via subsumption