A Co-induction Principle for Recursively Defined Domains (0)

Cached

Download Links

by Andrew Pitts
Venue:Theoretical Computer Science
Citations:40 - 3 self

Document Versions

A Co-induction Principle for Recursively Defined Domains –Andrew M. Pitts — 1992 — THEORETICAL COMPUTER SCIENCE
A Co-induction Principle for Recursively Defined Domains –Andrew Pitts — Theoretical Computer Science