Objects and their lambda calculus

DOI10.1016/S0304-3975(00)00009-8MaRDI QIDQ5941197zbMATH OpenFDO

Authors Athanassios Tzouvaras

Publication date 20 August 2001

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S0304-3975(00)00009-8

zbMATH Keywords

branchingconcurrencycalculusstructure of objects

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Objects in the \(\pi\)-calculus
• scientific article; zbMATH DE number 1086680
• scientific article; zbMATH DE number 1114038
• Geometry of resource interaction -- \textit{a minimalist approach}
• scientific article; zbMATH DE number 1490006

Cites work

• scientific article; zbMATH DE number 108365 (Why is no real title available?)
• A calculus of communicating systems
• A theory of primitive objects: Untyped and first-order systems
• Significant parts and identity of artifacts
• The chemical abstract machine
• The lambda calculus. Its syntax and semantics. Rev. ed.
• The linear logic of multisets
• Worlds of homogeneous artifacts

Cited in

(2)

• An imperative object calculus
• Difunctorial semantics of object calculus

Describes a project that uses

Uses Software

• Automath

This page was built for publication: Objects and their lambda calculus

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