Luigi Santocanale. A calculus of circular proofs and its categorical semantics. BRICS Report Series RS-01-15, BRICS, Dept. of Comp. Sci., Univ. of Aarhus, May 2001. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
A Calculus of Circular Proofs and its Categorical Semantics - Santocanale (2002) (2 citations) Self-citation (Santocanale) (Correct)
No context found.
L. Santocanale. A calculus of circular proofs and its categorical semantics. Technical Report RS-01-15, BRICS, May 2001. Extended version available from: http://www.cpsc.ucalgary.ca/~luigis/.
From Parity Games to Circular Proofs - Santocanale (2002) Self-citation (Santocanale) (Correct)
No context found.
L. Santocanale, A calculus of circular proofs and its categorical semantics, Tech. Rep. RS-01-15, BRICS (May 2001).
From Parity Games to Circular Proofs - Santocanale (2002) Self-citation (Santocanale) (Correct)
No context found.
L. Santocanale, A calculus of circular proofs and its categorical semantics, in: FOSSACS02, Vol. 2303 of Lecture Notes in Comput. Sci., 2002, pp. 357-371.
Ambiguous Classes in the Games μ-Calculus Hierarchy - Arnold, Santocanale Self-citation (Santocanale) (Correct)
No context found.
L. Santocanale. A calculus of circular proofs and its categorical semantics. In FOSSACS02, volume 2303 of Lecture Notes in Comput. Sci., pages 357-371, 2002.
μ-Bicomplete Categories and Parity Games - Santocanale Self-citation (Santocanale) (Correct)
....greatest xed points. A particular motivation for developing this work has been the possibility of describing transformations of winning strategies by means of arrows de nable in every bicomplete category. We have reported partial results on the structure of arrows of bicomplete categories in [30]. On several occasions categories with similar completeness properties have been proposed. For example, in [15] a category C is de ned to be algebraically complete if every unary endofunctor has an initial algebra. This requirement appears to be too strong, since the only complete categories ....
L. Santocanale. A calculus of circular proofs and its categorical semantics. In FOSSACS02, Foundations of Software Science and Computation Structures, volume 2303 of Lect. Notes Comput. Sci., pages 357-371, 2002.
A Logical Framework For Reasoning About Logical Specifications - Tiu (2004) (2 citations) (Correct)
No context found.
Luigi Santocanale. A calculus of circular proofs and its categorical semantics. BRICS Report Series RS-01-15, BRICS, Dept. of Comp. Sci., Univ. of Aarhus, May 2001.
Induction and Co-induction in Sequent Calculus - Momigliano, Tiu (2003) (1 citation) (Correct)
No context found.
L. Santocanale. A calculus of circular proofs and its categorical semantics. In M. Nielsen and U. Engberg editors, Proc. of FoSSaCS 2002.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC