Relational Properties of Domains


New tools are presented for reasoning about properties of recursively de-ned domains. We work within a general, category-theoretic framework for various notions of`relation' on domains and for actions of domain construc-tors on relations. Freyd's analysis of recursive types in terms of a property of mixed initiality//nality is transferred to a corresponding… (More)
DOI: 10.1006/inco.1996.0052


Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics