zbMath0765.68101MaRDI QIDQ4038657
David A. Schmidt, Susan Even
Publication date: 18 May 1993
zbMATH Keywords
action semanticsmetalanguagetypingdenotational semantics definitions
Mathematics Subject Classification ID
Semantics in the theory of computing (68Q55)
Related Items