Objects and their lambda calculus

DOI10.1016/S0304-3975(00)00009-8zbMath0974.68030MaRDI QIDQ5941197

Athanassios Tzouvaras

Publication date: 20 August 2001

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

zbMATH Keywords

calculusconcurrencybranchingstructure of objects

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Uses Software

• Automath

Cites Work

• Unnamed Item
• The lambda calculus. Its syntax and semantics. Rev. ed.
• A calculus of communicating systems
• The chemical abstract machine
• Significant parts and identity of artifacts
• Worlds of homogeneous artifacts
• A theory of primitive objects: Untyped and first-order systems
• The linear logic of multisets

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