Recursively defined domains and their induction principles
From MaRDI portal
(Redirected from Publication:1098615)
Cites work
- scientific article; zbMATH DE number 3862480 (Why is no real title available?)
- scientific article; zbMATH DE number 3379785 (Why is no real title available?)
- Algebraic specification of data types: A synthetic approach
- Edinburgh LCF. A mechanized logic of computation
- The Category-Theoretic Solution of Recursive Domain Equations
- The Relation between Computational and Denotational Properties for Scott’s ${\text{D}}_\infty $-Models of the Lambda-Calculus
Cited in
(4)
This page was built for publication: Recursively defined domains and their induction principles
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1098615)