scientific article
From MaRDI portal
Publication:4002146
zbMath0743.68028MaRDI QIDQ4002146
No author found.
Publication date: 18 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (6)
Modular structural operational semantics ⋮ Typed operational semantics for higher-order subtyping. ⋮ No value restriction is needed for algebraic effects and handlers ⋮ Linearity, Control Effects, and Behavioral Types ⋮ Abstract interpretation and types for systems biology ⋮ A family of syntactic logical relations for the semantics of Haskell-like languages
This page was built for publication:
