Generic composition
From MaRDI portal
Publication:1402466
DOI10.1007/s001650200031zbMath1029.68093MaRDI QIDQ1402466
Publication date: 27 August 2003
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s001650200031
68Q55: Semantics in the theory of computing
Related Items
A fixpoint theory for non-monotonic parallelism, Semantic inheritance in unifying theories of programming