Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. M. Abadi and G.D. Plotkin. A per model of polymorphism and recursive types. In Proc. Symposium on Logic and Computer Science, pages 355–365. IEEE, 1990.
2. R. Amadio. Recursion over realizability structures. Information and Computation, 91(1):55–85, 1991.
3. J.A. Bergstra and J.W. Klop. A convergence theorem in process algebra. Technical Report CS-R8733, CWI, Amsterdam, 1987.
4. S.L. Bloom, C.C. Elgot, and J.B. Wright. Solutions of the iteration equation and extensions of the scalar iteration operation. SIAM Journal on Computing, 9(1):25–45, 1980.
5. S.L. Bloom, C.C. Elgot, and J.B. Wright. Vector iteration in pointed iterative theories. SIAM Journal on Computing, 9(3):525–540, 1980.