Inductive and Coinductive types with Iteration and Recursion (1992)
by
Herman Geuvers
| Venue: | Proceedings of the 1992 Workshop on Types for Proofs and Programs, Bastad |
| Citations: | 49 - 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 |
