메뉴 건너뛰기




Volumn 19, Issue 5, 2009, Pages 581-631

The -λ Calculus with constructors: Syntax, confluence and separation

Author keywords

[No Author keywords available]

Indexed keywords

CHURCH-ROSSER PROPERTY; CONSTRUCTION PERMITS; DIVIDE-AND-CONQUER TECHNIQUE; REDUCTION RULES; SEMI-AUTOMATICS; SEPARATION THEOREM;

EID: 74049112161     PISSN: 09567968     EISSN: 14697653     Source Type: Journal    
DOI: 10.1017/S0956796809007369     Document Type: Article
Times cited : (10)

References (17)
  • 1
    • 33749412088 scopus 로고    scopus 로고
    • A λ-calculus with constructors
    • International Conference of Rewriting Techniques and Applications. Springer-Verlag
    • Arbiser, A., Miquel, A. & Ŕios, A. (2006) A λ-calculus with constructors. In Lecture Notes in Computer Science Volume4098. International Conference of Rewriting Techniques and Applications. Springer-Verlag.
    • (2006) Lecture Notes in Computer Science , vol.4098
    • Arbiser, A.1    Miquel, A.2    Ŕios, A.3
  • 3
    • 0003214304 scopus 로고
    • The lambda calculus: Its syntax and semantics
    • J. Barwise D. Kaplan, H. J. Keisler, P. Suppes and A. S. Troelstra (eds), North-Holland
    • Barendregt, H. (1984) The lambda calculus: Its syntax and semantics., In Studies in Logic and The Foundations of Mathematics, J. Barwise, D. Kaplan, H. J. Keisler, P. Suppes and A. S. Troelstra (eds), vol.103. North-Holland.
    • (1984) Studies in Logic and the Foundations of Mathematics , vol.103
    • Barendregt, H.1
  • 5
    • 0032597530 scopus 로고    scopus 로고
    • Pattern matching as cut elimination
    • IEEE Computer Society
    • Cerrito, S. & Kesner, D. (1999) Pattern matching as cut elimination. In Logics In Computer Science (LICS'99), IEEE Computer Society, pp. 98-108.
    • (1999) Logics in Computer Science (LICS'99) , pp. 98-108
    • Cerrito, S.1    Kesner, D.2
  • 6
    • 0003354664 scopus 로고
    • The calculi of lambda-conversion
    • Princeton
    • Church, A. (1941) The calculi of lambda-conversion. In Annals of Mathematical Studies, vol.6. Princeton.
    • (1941) Annals of Mathematical Studies , vol.6
    • Church, A.1
  • 8
    • 0005500880 scopus 로고    scopus 로고
    • Locus solum: From the rules of logic to the logic of rules
    • Girard, J.-Y. (2001) Locus solum: From the rules of logic to the logic of rules. Math. Struct. Comput. Sci., 11 (3): 301-506.
    • (2001) Math. Struct. Comput. Sci. , vol.11 , Issue.3 , pp. 301-506
    • Girard, J.-Y.1
  • 10
  • 11
    • 33745777191 scopus 로고    scopus 로고
    • Pure pattern calculus
    • Sestoft, P. (ed), Springer
    • Jay, C. B. & Kesner, D. (2006) Pure pattern calculus. In Lecture Notes in Computer Science, Sestoft, P. (ed), vol.3924. Springer, pp. 100-114.
    • (2006) Lecture Notes in Computer Science , vol.3924 , pp. 100-114
    • Jay, C.B.1    Kesner, D.2
  • 12
    • 36549045111 scopus 로고    scopus 로고
    • Basic pattern matching calculi: Syntax, reduction, confluence, and normalisation
    • Software Quality Research Laboratory, McMaster University
    • Kahl, W. (2003) Basic pattern matching calculi: Syntax, reduction, confluence, and normalisation. In Technical Report 16, Software Quality Research Laboratory, McMaster University.
    • (2003) Technical Report 16
    • Kahl, W.1
  • 13
    • 0004148156 scopus 로고    scopus 로고
    • The Objective Caml system release 3.11
    • Leroy, X. et al. (2008) The Objective Caml system release 3.11. Documentation and user's manual. http://caml.inria.fr/.
    • (2008) Documentation and User's Manual
    • Leroy, X.1
  • 16
    • 74049103131 scopus 로고    scopus 로고
    • Marc Bezem, Jan Willem Klop and Roel de Vrijer (eds), Cambridge University Press. Cambridge Tracts in Theoretical Computer Science
    • Terese. (2003) Term Rewriting Systems, Marc Bezem, Jan Willem Klop and Roel de Vrijer (eds), Cambridge University Press. Cambridge Tracts in Theoretical Computer Science 55.
    • (2003) Term Rewriting Systems , pp. 55
    • Terese1
  • 17
    • 0037842587 scopus 로고
    • Lambda calculus with patterns
    • Vrije Universiteit
    • van Oostrom, V. (1990) Lambda calculus with patterns. In Technical Report IR-228, Vrije Universiteit.
    • (1990) Technical Report IR-228
    • Van Oostrom, V.1


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