메뉴 건너뛰기




Volumn , Issue , 2005, Pages 356-365

Separation with streams in the Λμ-calculus

Author keywords

B hm Theorem; Calculus of Streams; Separation Property; Untyped calculus

Indexed keywords

CLASSICAL LOGIC; CURRY-HOWARD ISOMORPHISM; SEPARATION PROPERTY;

EID: 26844528554     PISSN: 10436871     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper
Times cited : (31)

References (19)
  • 1
    • 35248822598 scopus 로고    scopus 로고
    • Minimal classical logic and control operators
    • ICALP'03. Springer
    • Z. Ariola and H. Herbelin. Minimal classical logic and control operators. In ICALP'03, volume 2719 of LNCS. Springer, 2003.
    • (2003) LNCS , vol.2719
    • Ariola, Z.1    Herbelin, H.2
  • 4
    • 84896758467 scopus 로고    scopus 로고
    • A computational interpretation of the λμ-calculus
    • MFCS'98. Springer
    • G. Bierman. A computational interpretation of the λμ-calculus. In MFCS'98, volume 1450 of LNCS, pages 336-345. Springer, 1998.
    • (1998) LNCS , vol.1450 , pp. 336-345
    • Bierman, G.1
  • 5
    • 0035589610 scopus 로고    scopus 로고
    • λμ-calculus and Böhm's theorem
    • R. David and W. Py. λμ-calculus and Böhm's theorem. Journal of Symbolic Logic, 66(1):407-413, 2001.
    • (2001) Journal of Symbolic Logic , vol.66 , Issue.1 , pp. 407-413
    • David, R.1    Py, W.2
  • 6
    • 84888865947 scopus 로고
    • On the relation between the lambda-mu-calculus and the syntactic theory of sequential control
    • LPAR'94
    • P. de Groote. On the relation between the lambda-mu-calculus and the syntactic theory of sequential control. In LPAR'94, volume 822 of LNAI, pages 31-43, 1994.
    • (1994) LNAI , vol.822 , pp. 31-43
    • De Groote, P.1
  • 7
    • 84991572638 scopus 로고    scopus 로고
    • An environment machine for the λμ-calculus
    • P. de Groote. An environment machine for the λμ-calculus. MSCS, 8:637-669, 1998.
    • (1998) MSCS , vol.8 , pp. 637-669
    • De Groote, P.1
  • 8
    • 0026913084 scopus 로고
    • The revised report on the syntactic theories of sequential control and state
    • September
    • M. Felleisen and R. Hieb. The revised report on the syntactic theories of sequential control and state. Theoretical Computer Science, 103(2):235-271, September 1992.
    • (1992) Theoretical Computer Science , vol.103 , Issue.2 , pp. 235-271
    • Felleisen, M.1    Hieb, R.2
  • 9
    • 84976163878 scopus 로고
    • A new constructive logic: Classical logic
    • J.-Y. Girard. A new constructive logic: classical logic. MSCS, 1(3):255-296, 1991.
    • (1991) MSCS , vol.1 , Issue.3 , pp. 255-296
    • Girard, J.-Y.1
  • 10
    • 0005500880 scopus 로고    scopus 로고
    • Locus solum
    • J.-Y. Girard. Locus solum. MSCS, 11:301-506, 2001.
    • (2001) MSCS , vol.11 , pp. 301-506
    • Girard, J.-Y.1
  • 11
    • 0025211131 scopus 로고
    • A formulae-as-types notion of control
    • T. Griffin. A formulae-as-types notion of control. In POPL'90, pages 47-58, 1990.
    • (1990) POPL'90 , pp. 47-58
    • Griffin, T.1
  • 15
    • 0037209699 scopus 로고    scopus 로고
    • Polarized proof-nets and λμ-calculus
    • O. Laurent. Polarized proof-nets and λμ-calculus. Theoretical Computer Science, 290(1):161-188, 2003.
    • (2003) Theoretical Computer Science , vol.290 , Issue.1 , pp. 161-188
    • Laurent, O.1
  • 16
    • 0030704416 scopus 로고    scopus 로고
    • A Curry-Howard foundation for functional computation with control
    • C.-H. Ong and C. A. Stewart. A Curry-Howard foundation for functional computation with control. In POPL'97, pages 215-227, 1997.
    • (1997) POPL'97 , pp. 215-227
    • Ong, C.-H.1    Stewart, C.A.2
  • 17
    • 84944098890 scopus 로고
    • λμ-calculus: An algorithmic interpretation of classical natural deduction
    • International Conference on Logic Programming and Automated Deduction. Springer
    • M. Parigot. λμ-calculus: an algorithmic interpretation of classical natural deduction. In International Conference on Logic Programming and Automated Deduction, volume 624 of LNCS, pages 190-201. Springer, 1992.
    • (1992) LNCS , vol.624 , pp. 190-201
    • Parigot, M.1


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