메뉴 건너뛰기




Volumn 11, Issue 2, 2001, Pages 207-

Control categories and duality: On the categorical semantics of the lambda-mu calculus

Author keywords

[No Author keywords available]

Indexed keywords


EID: 85015306488     PISSN: 09601295     EISSN: None     Source Type: Journal    
DOI: 10.1017/S096012950000311X     Document Type: Article
Times cited : (127)

References (25)
  • 3
    • 84888865947 scopus 로고
    • On the relation between the λμ-calculus and the syntactic theory of sequential control
    • De Groote, P. (1994b) On the relation between the λμ-calculus and the syntactic theory of sequential control. Springer-Verlag Lecture Notes in Computer Science 822.
    • (1994) Springer-Verlag Lecture Notes in Computer Science , vol.822
    • De Groote, P.1
  • 4
    • 0003882245 scopus 로고
    • The calculi of λv-conversion: A syntactic theory of control and state in imperative higher order programming languages
    • Indiana University
    • Felleisen, M. (1986) The calculi of λv-conversion: A syntactic theory of control and state in imperative higher order programming languages, Ph. D. thesis, Indiana University.
    • (1986) Ph. D. thesis
    • Felleisen, M.1
  • 5
    • 0026913084 scopus 로고
    • The revised report on the syntactic theories of sequential control and state
    • Felleisen, M. and Hieb, R. (1992) The revised report on the syntactic theories of sequential control and state. Theoretical Computer Science 103 235–271.
    • (1992) Theoretical Computer Science , vol.103 , pp. 235-271
    • Felleisen, M.1    Hieb, R.2
  • 7
    • 85023029411 scopus 로고    scopus 로고
    • Direct-style and continuation-passing style models of control
    • Available from
    • Fiihrmann, C. (1998) Direct-style and continuation-passing style models of control. Available from http://www.dcs.ed.ac.uk/home/car/research.htm.
    • (1998)
    • Fiihrmann, C.1
  • 11
    • 18944386462 scopus 로고    scopus 로고
    • Premonoidal categories and a graphical view of programs (preprint)
    • Jeffrey, A. (1997) Premonoidal categories and a graphical view of programs (preprint).
    • (1997)
    • Jeffrey, A.1
  • 12
    • 18544389099 scopus 로고
    • On Mac Fane’s conditions for coherence of natural associativities, Commutativities, etc
    • Kelly, G. M. (1964) On Mac Fane’s conditions for coherence of natural associativities, Commutativities, etc. J. Algebra 1 397–402.
    • (1964) J. Algebra , vol.1 , pp. 397-402
    • Kelly, G.M.1
  • 13
    • 0012155726 scopus 로고
    • Continuations semantics or expressing implication by negation
    • University of Munich
    • Fafont, Y., Reus, B. and Streicher, T. (1993) Continuations semantics or expressing implication by negation. Technical Report 93–21, University of Munich.
    • (1993) Technical Report 93–21
    • Fafont, Y.1    Reus, B.2    Streicher, T.3
  • 14
    • 0003532186 scopus 로고
    • An Introduction to Higher Order Categorical Logic
    • Cambridge University Press
    • Fambek, J. and Scott, P. J. (1986) An Introduction to Higher Order Categorical Logic, Cambridge Studies in Advanced Mathematics 7, Cambridge University Press.
    • (1986) Cambridge Studies in Advanced Mathematics , vol.7
    • Fambek, J.1    Scott, P.J.2
  • 15
    • 0003146836 scopus 로고
    • Natural associativity and commutativity
    • Mac Fane, S. (1963) Natural associativity and commutativity. Rice University Studies 49 28–46.
    • (1963) Rice University Studies , vol.49 , pp. 28-46
    • Mac Fane, S.1
  • 16
    • 0038492874 scopus 로고
    • Computational lambda-calculus and monads
    • Edinburgh University, Department of Computer Science
    • Moggi, E. (1988) Computational lambda-calculus and monads. Technical Report ECS-LFCS-88-66, Edinburgh University, Department of Computer Science.
    • (1988) Technical Report ECS-LFCS-88-66
    • Moggi, E.1
  • 19
    • 84944098890 scopus 로고
    • λμ-calculus: An algorithmic interpretation of classical natural deduction
    • St. Petersburg. Springer-Verlag Lecture Notes in Computer Science
    • Parigot, M. (1992) λμ-calculus: An algorithmic interpretation of classical natural deduction. In: Proceedings of the International Conference on Logic Programming and Automated Reasoning, St. Petersburg. Springer-Verlag Lecture Notes in Computer Science 624 190–201.
    • (1992) Proceedings of the International Conference on Logic Programming and Automated Reasoning , vol.624 , pp. 190-201
    • Parigot, M.1
  • 20
    • 18944377121 scopus 로고
    • Call-by-name, call-by-value and the 2-calculus
    • Plotkin, G. D. (1975) Call-by-name, call-by-value and the 2-calculus. Theoretical Computer Science 1 125–159.
    • (1975) Theoretical Computer Science , vol.1 , pp. 125-159
    • Plotkin, G.D.1
  • 22
    • 85023135214 scopus 로고    scopus 로고
    • On the semantics of classical disjunction
    • (preprint)
    • Pym, D. and Ritter, E. (1998) On the semantics of classical disjunction (preprint).
    • (1998)
    • Pym, D.1    Ritter, E.2
  • 23
    • 85022989500 scopus 로고    scopus 로고
    • An implementation of the call-by-name λμv-calculus
    • (preprint - available from the Hypatia Electronic Library)
    • Selinger, P. (1998) An implementation of the call-by-name λμv-calculus (preprint - available from the Hypatia Electronic Library).
    • (1998)
    • Selinger, P.1
  • 24
    • 0032244822 scopus 로고    scopus 로고
    • Classical logic, continuation semantics and abstract machines
    • Streicher, T. and Reus, B. (1998) Classical logic, continuation semantics and abstract machines. Journal of Functional Programming 8 (6) 543–572.
    • (1998) Journal of Functional Programming , vol.8 , Issue.6 , pp. 543-572
    • Streicher, T.1    Reus, B.2


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