scientific article; zbMATH DE number 3772919
From MaRDI portal
Publication:3953141
zbMATH Open0491.68014MaRDI QIDQ3953141FDOQ3953141
Authors: Hans-Dieter Ehrich, Udo W. Lipeck 
Publication date: 1981
Title of this publication is not available (Why is that?)
parameterized data typesspecification method for algebraic data typesScott's theory of order- theoretic data types
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3953141)
