Inductive and Coinductive types with Iteration and Recursion (1992)

Cached

Download Links

by Herman Geuvers
Venue:Proceedings of the 1992 Workshop on Types for Proofs and Programs, Bastad
Citations:51 - 0 self

Document Versions

Inductive and Coinductive types with Iteration and Recursion –Herman Geuvers — 1992 — Proceedings of the 1992 Workshop on Types for Proofs and Programs, Bastad