메뉴 건너뛰기




Volumn 9, Issue 5, 1999, Pages 545-567

Final coalgebras as greatest fixed points in ZF set theoryt

Author keywords

[No Author keywords available]

Indexed keywords


EID: 18544366684     PISSN: 09601295     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0960129599002790     Document Type: Article
Times cited : (3)

References (18)
  • 2
    • 0003506569 scopus 로고
    • Non-Well-Founded Sets, CSLI
    • Aczel, P. (1988) Non-Well-Founded Sets, CSLI.
    • (1988)
    • Aczel, P.1
  • 4
    • 0027610699 scopus 로고
    • Terminal coalgebras in well-founded set theory
    • Barr, M. (1993) Terminal coalgebras in well-founded set theory. Theoretical Computer Science 114 (2) 299–315.
    • (1993) Theoretical Computer Science , vol.114 , Issue.2 , pp. 299-315
    • Barr, M.1
  • 5
    • 0004159094 scopus 로고
    • Parallel Program Design: A Foundation
    • Addison-Wesley
    • Chandy, K. M. and Misra, J. (1988) Parallel Program Design: A Foundation, Addison-Wesley.
    • (1988)
    • Chandy, K.M.1    Misra, J.2
  • 9
    • 0003886256 scopus 로고
    • Set Theory: An Introduction to Independence Proofs
    • North-Holland
    • Kunen, K. (1980) Set Theory: An Introduction to Independence Proofs, North-Holland.
    • (1980)
    • Kunen, K.1
  • 10
    • 0003954103 scopus 로고
    • Communication and Concurrency
    • Prentice-Hall.
    • Milner, R. (1989) Communication and Concurrency, Prentice-Hall.
    • (1989)
    • Milner, R.1
  • 11
  • 12
    • 85022942794 scopus 로고    scopus 로고
    • On the foundations of corecursion
    • Logic Journal of the IGPL 5 (2) 231–257. Paulin-Mohring, C. (1993). In: Bezem, M. and Groote, J. (eds.) Springer-Verlag Lecture Notes in Computer Science
    • Moss, L. S. and Danner, N. (1997) On the foundations of corecursion. Logic Journal of the IGPL 5 (2) 231–257. Paulin-Mohring, C. (1993) Inductive definitions in the system Coq: Rules and properties. In: Bezem, M. and Groote, J. (eds.) Typed Lambda Calculi and Applications. Springer-Verlag Lecture Notes in Computer Science 664 328–345.
    • (1997) Typed Lambda Calculi and Applications , vol.664 , pp. 328-345
    • Moss, L.S.1    Danner, N.2
  • 13
    • 0006798044 scopus 로고
    • Set theory for verification: I. From foundations to functions
    • Paulson, L. C. (1993) Set theory for verification: I. From foundations to functions. J. Auto. Reas. 11 (3) 353–389.
    • (1993) J. Auto. Reas. , vol.11 , Issue.3 , pp. 353-389
    • Paulson, L.C.1
  • 14
    • 85026908056 scopus 로고    scopus 로고
    • A fixedpoint approach to implementing (co)inductive definitions
    • In: Bundy, A. (ed.) Springer-Verlag Lecture Notes in Artificial Intelligence
    • Paulson, L. C. (1994) A fixedpoint approach to implementing (co)inductive definitions. In: Bundy, A. (ed.) Automated Deduction - CADE-12 International Conference. Springer-Verlag Lecture Notes in Artificial Intelligence 814 148–161.
    • Automated Deduction - CADE-12 International Conference , vol.814 , pp. 148-161
    • Paulson, L.C.1
  • 17
    • 84948146724 scopus 로고
    • On ordered pairs and relations
    • Random House. (Orginally published 1945-6)
    • Quine, W. V. (1966) On ordered pairs and relations. In: Selected Logic Papers, chapter VIII, 110–113. Random House. (Orginally published 1945-6.)
    • (1966) In: Selected Logic Papers, chapter VIII , pp. 110-113
    • Quine, W.V.1
  • 18
    • 84962687423 scopus 로고
    • On the foundations of final semantics: Non-standard sets, metric spaces, partial orders
    • In: de Bakker, J., de Roever, W.-P. and Rozenberg, G. (eds.) Springer-Verlag Lecture Notes in Computer Science
    • Rutten, J.J.M.M. and Turi, D. (1993) On the foundations of final semantics: Non-standard sets, metric spaces, partial orders. In: de Bakker, J., de Roever, W.-P. and Rozenberg, G. (eds.) Semantics: Foundations and Applications. Springer-Verlag Lecture Notes in Computer Science 666 477–530.
    • (1993) Semantics: Foundations and Applications , vol.666 , pp. 477-530
    • Rutten, J.J.M.M.1    Turi, D.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.