scientific article
From MaRDI portal
Publication:3992705
zbMath0678.68003MaRDI QIDQ3992705
Publication date: 23 January 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01)
Related Items (5)
A first order logic of effects ⋮ Codatatypes in ML ⋮ Inferring the equivalence of functional programs that mutate data ⋮ A syntactic theory of sequential state ⋮ Unnamed Item
This page was built for publication:
