Publisher
Springer Berlin Heidelberg
Reference11 articles.
1. Lecture Notes in Computer Science;M. Abadi,1993
2. Buchholz, W.: The ω
μ + 1-rule. In: Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies. Lecture Notes in Mathematics, vol. 897, pp. 188–233 (1981)
3. Geuvers, H.: Inductive and coinductive types with iteration and recursion. In: Workshop on Types for Proofs and Programs, Båstad, pp. 193–217 (1992)
4. Hasegawa, R.: Categorical datatypes in parametric polymorphism. In: Fourth Asian Logic Conference (1990)
5. Loader, R.: Equational theories for inductive types. Annals of Pure and Applied Logic 84, 175–217 (1997)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献