Searching for "A co-Induction Principle for Recursively Defined Domains." – sorted by Relevance.
2 documents found, showing 1 through 2.
-
A Co-induction Principle for Recursively Defined Domains
- …A Co-induction Principle for Recursively Defined Domains 1 Andrew M. Pitts University of Cambridge…
- Cited by 42 (3 self) – Add To MetaCart
-
Relational Properties of Recursively Defined Domains
- … to capture the co-inductive properties of recursively defined domains. Indeed we will see that our results go…
- Cited by 15 (2 self) – Add To MetaCart
Showing 1 through 2.
