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:53 - 0 self

Active Bibliography

7 Programming with inductive and co-inductive types – John Greiner - 1992
716 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
1 Encodings In Polymorphism, revisited – Yuxi Fu, Yuxi Fu - 1992
433 The Foundation of a Generic Theorem Prover – Lawrence C. Paulson - 1989
325 Universal coalgebra: a theory of systems – J. J. M. M. Rutten - 2000
Least and Greatest Fixed Points in Intuitionistic Natural Deduction – Tarmo Uustalu, Varmo Vene - 2002
Impredicative Representations of Categorical Datatypes – Thorsten Altenkirch - 1994
174 Inductive Definitions in the System Coq Rules and Properties – Christine Paulin-Mohring - 1992
14 Fixed Points and Extensionality in Typed Functional Programming Languages – Brian T. Howard - 1992