메뉴 건너뛰기




Volumn 31, Issue 6, 1996, Pages 102-109

Inductive, coinductive, and pointed types

Author keywords

[No Author keywords available]

Indexed keywords


EID: 17144411869     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/232629.232640     Document Type: Article
Times cited : (4)

References (28)
  • 2
    • 0003227926 scopus 로고
    • Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
    • Springer-Verlag
    • Wilfried Buchholz, Solomon Feferman, Wolfram Pohlers, and Wilfried Sieg. Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies. Number 897 in Lecture Notes in Mathematics. Springer-Verlag, 1981.
    • (1981) Lecture Notes in Mathematics , Issue.897
    • Buchholz, W.1    Feferman, S.2    Pohlers, W.3    Sieg, W.4
  • 4
    • 38249011731 scopus 로고
    • New foundations for fixpoint computations: FIX-hyperdoctrines and the FIX-logic
    • June
    • Roy L. Croie and Andrew M. Pitts. New foundations for fixpoint computations: FIX-hyperdoctrines and the FIX-logic. Information and Computation, 98(2):171-210, June 1992.
    • (1992) Information and Computation , vol.98 , Issue.2 , pp. 171-210
    • Croie, R.L.1    Pitts, A.M.2
  • 8
    • 0001817272 scopus 로고
    • Algebraically complete categories
    • A. Carboni, M.C. Pedicchio, and G. Rosolini, editors, Springer-Verlag
    • Peter Freyd. Algebraically complete categories. In A. Carboni, M.C. Pedicchio, and G. Rosolini, editors, Category Theory: Proceedings, Como 1990. pages 95-104. Springer-Verlag, 1991.
    • (1991) Category Theory: Proceedings, Como 1990 , pp. 95-104
    • Freyd, P.1
  • 9
    • 0001817274 scopus 로고
    • Remarks on algebraically compact categories
    • M.P. Fourman, P.T. Johnstone, and A.M. Pitts, editors, Applications of Categories in Computer Science, Cambridge University Press
    • Peter Freyd. Remarks on algebraically compact categories. In M.P. Fourman, P.T. Johnstone, and A.M. Pitts, editors, Applications of Categories in Computer Science, number 177 in London Mathematical Society Lecture Note Series, pages 95-106. Cambridge University Press, 1992. Proceedings of the LMS Symposium, Durham 1991.
    • (1992) London Mathematical Society Lecture Note Series , Issue.177 , pp. 95-106
    • Freyd, P.1
  • 10
    • 85033008306 scopus 로고
    • Durham
    • Peter Freyd. Remarks on algebraically compact categories. In M.P. Fourman, P.T. Johnstone, and A.M. Pitts, editors, Applications of Categories in Computer Science, number 177 in London Mathematical Society Lecture Note Series, pages 95-106. Cambridge University Press, 1992. Proceedings of the LMS Symposium, Durham 1991.
    • (1991) Proceedings of the LMS Symposium
  • 12
    • 0006902023 scopus 로고
    • PhD thesis, Stanford University, Published as Stanford Computer Science Department Technical Report STAN-CS-92-1455
    • Brian T. Howard. Fixed Points and Extensionality in Typed Functional Programming Languages. PhD thesis, Stanford University, 1992. Published as Stanford Computer Science Department Technical Report STAN-CS-92-1455.
    • (1992) Fixed Points and Extensionality in Typed Functional Programming Languages
    • Howard, B.T.1
  • 13
    • 85033020630 scopus 로고
    • Technical Report MS-CIS-93-14, Department of Computer and Information Science, University of Pennsylvania
    • Brian T. Howard. Inductive, projective, and retractive types. Technical Report MS-CIS-93-14, Department of Computer and Information Science, University of Pennsylvania, 1993.
    • (1993) Inductive, Projective, and Retractive Types
    • Howard, B.T.1
  • 15
    • 85033026446 scopus 로고
    • Technical Report CS/E 93-001, Oregon Graduate Institute of Science and Technology
    • Richard B. Kieburtz. Inductive programming. Technical Report CS/E 93-001, Oregon Graduate Institute of Science and Technology, 1993.
    • (1993) Inductive Programming
    • Kieburtz, R.B.1
  • 16
    • 0004257495 scopus 로고
    • PhD thesis, University of Utrecht, Published as Mathematical Center Tract 129
    • Jan Willem Klop. Combinatory Reduction Systems. PhD thesis, University of Utrecht, 1980. Published as Mathematical Center Tract 129.
    • (1980) Combinatory Reduction Systems
    • Klop, J.W.1
  • 18
    • 0003248906 scopus 로고
    • Introduction to Higher-Order Categorical Logic
    • Cambridge University Press
    • J. Lambek and P.J. Scott. Introduction to Higher-Order Categorical Logic. Number 7 in Cambridge Studies in Advanced Mathematics. Cambridge University Press, 1986.
    • (1986) Cambridge Studies in Advanced Mathematics , Issue.7
    • Lambek, J.1    Scott, P.J.2
  • 19
    • 0344094105 scopus 로고
    • PhD thesis, University of Nijmegen
    • Erik Meijer. Calculating Compilers. PhD thesis, University of Nijmegen, 1992.
    • (1992) Calculating Compilers
    • Meijer, E.1
  • 20
    • 85014115727 scopus 로고
    • Functional programming with bananas, lenses, envelopes and barbed wire
    • J. Hughes, editor, Proceedings of the Fifth ACM Conference on Functional Programming Languages and Computer Architecture, Springer-Verlag
    • Erik Meijer, Maarten Fokkinga, and Ross Paterson. Functional programming with bananas, lenses, envelopes and barbed wire. In J. Hughes, editor, Proceedings of the Fifth ACM Conference on Functional Programming Languages and Computer Architecture, number 523 in Lecture Notes in Computer Science, pages 124-144. Springer-Verlag, 1991.
    • (1991) Lecture Notes in Computer Science , Issue.523 , pp. 124-144
    • Meijer, E.1    Fokkinga, M.2    Paterson, R.3
  • 21
    • 0002165219 scopus 로고
    • Type systems for programming languages
    • Jan van Leeuwen, editor, chapter 8, Elsevier
    • John C. Mitchell. Type systems for programming languages. In Jan van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, chapter 8, pages 365-458. Elsevier, 1990.
    • (1990) Handbook of Theoretical Computer Science , vol.B , pp. 365-458
    • Mitchell, J.C.1
  • 23
    • 18944402846 scopus 로고
    • Available as HL-notes.dvi.gz by anonymous ftp from theory.doc.ic.ac.uk in directory tfm/papers/MoggiE, October
    • Eugenio Moggi. Metalanguages and applications. Available as HL-notes.dvi.gz by anonymous ftp from theory.doc.ic.ac.uk in directory tfm/papers/MoggiE, October 1995.
    • (1995) Metalanguages and Applications
    • Moggi, E.1
  • 24
    • 0942302119 scopus 로고
    • Strong monads, algebras and fixed points
    • M.P. Fourman, P.T. Johnstone, and A.M. Pitts, editors, Applications of Categories in Computer Science, Cambridge University Press
    • Philip S. Mulry. Strong monads, algebras and fixed points. In M.P. Fourman, P.T. Johnstone, and A.M. Pitts, editors, Applications of Categories in Computer Science, number 177 in London Mathematical Society Lecture Note Series, pages 202-216. Cambridge University Press, 1992. Proceedings of the LMS Symposium, Durham 1991.
    • (1992) London Mathematical Society Lecture Note Series , Issue.177 , pp. 202-216
    • Mulry, P.S.1
  • 25
    • 85033002059 scopus 로고
    • Durham
    • Philip S. Mulry. Strong monads, algebras and fixed points. In M.P. Fourman, P.T. Johnstone, and A.M. Pitts, editors, Applications of Categories in Computer Science, number 177 in London Mathematical Society Lecture Note Series, pages 202-216. Cambridge University Press, 1992. Proceedings of the LMS Symposium, Durham 1991.
    • (1991) Proceedings of the LMS Symposium
  • 26
    • 0000291180 scopus 로고
    • Lifting theorems for kleisli categories
    • S. Brookes, M. Main, A. Melton, M. Mislove, and D. Schmidt, editors, Ninth International Conference on Mathematical Foundations of Programming Semantics, Springer-Verlag
    • Philip S. Mulry. Lifting theorems for kleisli categories. In S. Brookes, M. Main, A. Melton, M. Mislove, and D. Schmidt, editors, Ninth International Conference on Mathematical Foundations of Programming Semantics, number 802 in Lecture Notes in Computer Science, pages 304-319. Springer-Verlag, 1993.
    • (1993) Lecture Notes in Computer Science , Issue.802 , pp. 304-319
    • Mulry, P.S.1
  • 27
    • 0003562068 scopus 로고
    • Available as kleisli.dvi.Z by anonymous ftp from ftp.dcs.ed.ac.uk in directory pub/als, August
    • Alex K. Simpson. Recursive types in kleisli categories. Available as kleisli.dvi.Z by anonymous ftp from ftp.dcs.ed.ac.uk in directory pub/als, August 1992.
    • (1992) Recursive Types in Kleisli Categories
    • Simpson, A.K.1
  • 28
    • 0000874096 scopus 로고
    • The category-theoretic solution of recursive domain equations
    • Michael B. Smyth and Gordon D. Plotkin. The category-theoretic solution of recursive domain equations. SIAM Journal on Computing, 11:761-783, 1982.
    • (1982) SIAM Journal on Computing , vol.11 , pp. 761-783
    • Smyth, M.B.1    Plotkin, G.D.2


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