메뉴 건너뛰기




Volumn 290, Issue 1, 2003, Pages 161-188

Polarized proof-nets and λμ-calculus

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN ALGEBRA; COMPUTER SIMULATION; ENCODING (SYMBOLS); SEMANTICS;

EID: 0037209699     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(01)00297-3     Document Type: Article
Times cited : (50)

References (14)
  • 2
    • 0000144033 scopus 로고
    • Proof-nets and the Hilbert space
    • J.-Y. Girard, Y. Lafont, L. Regnier (Eds.), Advances in Linear Logic, Cambridge University Press, Cambridge
    • Danos V., Regnier L. Proof-nets and the Hilbert space. Girard J.-Y., Lafont Y., Regnier L. Advances in Linear Logic. London Mathematical Society Lecture Note Series. Vol. 222:1995;307-328 Cambridge University Press, Cambridge.
    • (1995) London Mathematical Society Lecture Note Series , vol.222 , pp. 307-328
    • Danos, V.1    Regnier, L.2
  • 3
    • 0031527233 scopus 로고    scopus 로고
    • A new deconstructive logic: Linear logic
    • Danos V., Joinet J.-B., Schellinx H. A new deconstructive logic. linear logic J. Symbolic Logic. 62(3):1997;755-807.
    • (1997) J. Symbolic Logic , vol.62 , Issue.3 , pp. 755-807
    • Danos, V.1    Joinet, J.-B.2    Schellinx, H.3
  • 4
    • 0035589610 scopus 로고    scopus 로고
    • λμ-Calculus and Böhm's theorem
    • R. David, W. Py, λμ-calculus and Böhm's theorem, J. Symbolic Logic 66 (1) (2001) 407-413, URL ftp://www.lama.univ-savoie.fr/pub/users/DAVID/bohm.ps.
    • (2001) J. Symbolic Logic , vol.66 , Issue.1 , pp. 407-413
    • David, R.1    Py, W.2
  • 5
    • 84976163878 scopus 로고
    • A new constructive logic: Classical logic
    • Girard J.-Y. A new constructive logic: classical logic. Math. Struct. Comput. Sci. 1(3):1991;255-296.
    • (1991) Math. Struct. Comput. Sci. , vol.1 , Issue.3 , pp. 255-296
    • Girard, J.-Y.1
  • 7
    • 0011149462 scopus 로고    scopus 로고
    • Logique linéaire polarisée et logiques classiques
    • Ecole Normale Supérieure de Paris, September. URL
    • O. Laurent, Logique linéaire polarisée et logiques classiques, Mémoire du magistère M.M.F.A.I., Ecole Normale Supérieure de Paris, September, 1999. URL ftp://iml.univ-mrs.fr/pub/olaurent/mmfai.ps.gz.
    • (1999) Mémoire du magistère M.M.F.A.I.
    • Laurent, O.1
  • 8
    • 84949232721 scopus 로고    scopus 로고
    • Polarized proof-nets: Proof-nets for LC (extended abstract)
    • J.-Y. Girard, Typed Lambda Calculi and Applications '99, Springer, Berlin
    • Laurent O. Polarized proof-nets: proof-nets for LC (extended abstract). Girard J.-Y. Typed Lambda Calculi and Applications '99. Lecture Notes in Computer Science. Vol. 1581:1999;213-227 Springer, Berlin.
    • (1999) Lecture Notes in Computer Science , vol.1581 , pp. 213-227
    • Laurent, O.1
  • 9
    • 84944098890 scopus 로고
    • λμ-calculus: An algorithmic interpretation of classical natural deduction
    • Internat. Conf. on Logic Programming and Automated Deduction, Springer, Berlin
    • Parigot M. λμ -calculus an algorithmic interpretation of classical natural deduction Proc. Internat. Conf. on Logic Programming and Automated Deduction. Lecture Notes in Computer Science. Vol. 624:1992;190-201 Springer, Berlin.
    • (1992) Lecture Notes in Computer Science , vol.624 , pp. 190-201
    • Parigot, M.1
  • 10
    • 0000443347 scopus 로고
    • Classical proofs as programs
    • Proceedings of Kurt Gödel Colloquium, Springer, Berlin
    • Parigot M. Classical proofs as programs. Proceedings of Kurt Gödel Colloquium. Lecture Notes in Computer Science. Vol. 713:1993;263-276 Springer, Berlin.
    • (1993) Lecture Notes in Computer Science , vol.713 , pp. 263-276
    • Parigot, M.1
  • 12
  • 13
    • 0028416987 scopus 로고
    • Une équivalence sur les lambda-termes
    • Regnier L. Une équivalence sur les lambda-termes. Theoret. Comput. Sci. 126:1994;281-292.
    • (1994) Theoret. Comput. Sci. , vol.126 , pp. 281-292
    • Regnier, L.1
  • 14
    • 85015306488 scopus 로고    scopus 로고
    • Control categories and duality: On the categorical semantics of the lambda-mu calculus
    • P. Selinger, Control categories and duality: on the categorical semantics of the lambda-mu calculus, Math. Struct. Comput. Sci. 11 (2) (2001) 207-260, to appear, URL ftp://ftp.math.lsa.umich.edu/pub/selinger/control.ps.gz.
    • (2001) Math. Struct. Comput. Sci. , vol.11 , Issue.2 , pp. 207-260
    • Selinger, P.1


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