A theory of primitive objects: Untyped and first-order systems

DOI10.1006/INCO.1996.0024zbMath0853.68115DBLPjournals/iandc/AbadiC96OpenAlexW2179972501WikidataQ56982195 ScholiaQ56982195MaRDI QIDQ1917083

Martín Abadi, Luca Cardelli

Publication date: 12 December 1996

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/inco.1996.0024

zbMATH Keywords

equational rulestyping rulesuntyped calculus

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55)

Related Items (3)

Spatial-behavioral types for concurrency and resource control in distributed systems ⋮ Objects and their lambda calculus ⋮ Spatial-Behavioral Types, Distributed Services, and Resources

This page was built for publication: A theory of primitive objects: Untyped and first-order systems