More Existence Theorems for Recursion Categories
暂无分享,去创建一个
[1] Paul Taylor. An Exact Interpretation of While , 1993, Theory and Formal Methods.
[2] James Worrell. Toposes of Coalgebras and Hidden Algebras , 1998, CMCS.
[3] James Worrell,et al. On the structure of categories of coalgebras , 2001, Theor. Comput. Sci..
[4] H. Peter Gumm,et al. Products of coalgebras , 2001 .
[5] Franco Montagna. "Pathologies" in Two Syntactic Categories of Partial Maps , 1989, Notre Dame J. Formal Log..
[6] H. Peter Gumm,et al. Coalgebras Of Bounded Type , 2002, Math. Struct. Comput. Sci..
[7] Dusko Pavlovic,et al. On coalgebra of real numbers , 1999, CMCS.
[9] S. T. Stefani,et al. An algebraic approach to categories of partial morphisms , 2002, Journal of Symbolic Logic.
[10] H. Peter Gumm,et al. Coalgebraic structure from weak limit preserving functors , 2000, CMCS.
[11] Jan J. M. M. Rutten,et al. Universal coalgebra: a theory of systems , 2000, Theor. Comput. Sci..
[12] H. Gumm. Functors for Coalgebras , 2001 .
[13] Alex Heller,et al. Dominical categories: recursion theory without elements , 1987, Journal of Symbolic Logic.
[14] Franco Montagna,et al. Some Properties of the Syntactic p-Recursion Categories Generated by Consistent, Recursively Enumerable Extensions of Peano Arithmetic , 1991, J. Symb. Log..
[15] S. Lane. Categories for the Working Mathematician , 1971 .
[16] Marcelo P. Fiore. Axiomatic domain theory in categories of partial maps , 1994 .
[17] Alex Heller,et al. An existence theorem for recursion categories , 1990, Journal of Symbolic Logic.