Publication:4880141
From MaRDI portal
zbMath0846.68063MaRDI QIDQ4880141
Publication date: 13 January 1998
68Q55: Semantics in the theory of computing
Related Items
Semantics of constructions. I: The traditional approach, Structures definable in polymorphism, Constructive sets in computable sets