scientific article; zbMATH DE number 1479640
From MaRDI portal
Publication:4490756
zbMath0942.68618MaRDI QIDQ4490756
Publication date: 20 July 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (2)
A calculus with recursive types, record concatenation and subtyping ⋮ Union and intersection types to support both dynamic and static typing
This page was built for publication:
