메뉴 건너뛰기




Volumn 180, Issue 1-2, 1997, Pages 371-375

A syntactical proof of the operational equivalence of two λ-terms

Author keywords

[No Author keywords available]

Indexed keywords

EQUIVALENCE CLASSES; MATHEMATICAL MODELS; MATHEMATICAL OPERATORS; TREES (MATHEMATICS); TURING MACHINES;

EID: 0031162482     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(97)00004-2     Document Type: Article
Times cited : (3)

References (3)
  • 2
    • 21844513815 scopus 로고
    • Storage operators and directed lambda calculus
    • R. David and K. Nour, Storage operators and directed lambda calculus, J. Symbolic Logic 60 (1995) 1054-1086.
    • (1995) J. Symbolic Logic , vol.60 , pp. 1054-1086
    • David, R.1    Nour, K.2
  • 3
    • 84963108491 scopus 로고
    • A syntactic characterization of the equality in some models of the lambda calculus
    • J. Hyland, A syntactic characterization of the equality in some models of the lambda calculus, J. London Math. Soc. (2) 12 (1976) 361-370.
    • (1976) J. London Math. Soc. (2) , vol.12 , pp. 361-370
    • Hyland, J.1


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