Semantics and logic of object calculi
From MaRDI portal
Publication:1434358
DOI10.1016/j.tcs.2004.01.030zbMath1072.68064WikidataQ56092882 ScholiaQ56092882MaRDI QIDQ1434358
Thomas Streicher, Bernhard Reus
Publication date: 4 August 2004
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2004.01.030
03B70: Logic in computer science
68Q55: Semantics in the theory of computing
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
A domain-theoretic model of nominally-typed object-oriented programming, Logical equivalence for subtyping object and recursive types, On Normalization by Evaluation for Object Calculi
Cites Work