Relational Properties of Domains

• 1 June 1996
• journal article
• Published by Elsevier in Information and Computation
• Vol. 127  (2) , 66-90
• https://doi.org/10.1006/inco.1996.0052

Abstract

Keywords

• THEORET
• INDUCTION
• DEFINED DOMAINS
• RECURSIVELY DEFINED
• STRUCTURAL
• FUNCTIONAL
• INITIALITY/FINALITY
• NOTION