메뉴 건너뛰기




Volumn 10, Issue 1, 2000, Pages 77-89

Girard translation and logical predicates

Author keywords

[No Author keywords available]

Indexed keywords


EID: 0347898804     PISSN: 09567968     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0956796899003615     Document Type: Article
Times cited : (6)

References (23)
  • 1
    • 0002422649 scopus 로고
    • A characterization of lambda definability in categorical models of implicit polymorphism
    • Alimohamed, M. (1995) A characterization of lambda definability in categorical models of implicit polymorphism. Theoret. Comp. Sci. 146, 5-23.
    • (1995) Theoret. Comp. Sci. , vol.146 , pp. 5-23
    • Alimohamed, M.1
  • 7
    • 0029700511 scopus 로고    scopus 로고
    • Linear logic, monads, and the lambda calculus
    • IEEE Computer Society Press
    • Benton, N. and Wadler, P. (1996) Linear logic, monads, and the lambda calculus. In Logic in Computer Science (LICS'96), pp. 420-431. IEEE Computer Society Press.
    • (1996) Logic in Computer Science (LICS'96) , pp. 420-431
    • Benton, N.1    Wadler, P.2
  • 10
    • 0005421196 scopus 로고    scopus 로고
    • PhD thesis, University of Aarhus. Technical report BRICS-DS-96-4, BRICS
    • Braüner, T. (1996) An Axiomatic Approach to Adequacy. PhD thesis, University of Aarhus. Technical report BRICS-DS-96-4, BRICS.
    • (1996) An Axiomatic Approach to Adequacy
    • Braüner, T.1
  • 11
    • 0040994473 scopus 로고
    • On the linear decoration of intuitionistic derivations
    • Danos, V., Joinet, J.-B. and Schellinx, H. (1995) On the linear decoration of intuitionistic derivations. Arch. Math. Logic 33, 387-412.
    • (1995) Arch. Math. Logic , vol.33 , pp. 387-412
    • Danos, V.1    Joinet, J.-B.2    Schellinx, H.3
  • 22
    • 0001748856 scopus 로고
    • Intensional interpretation of functionals of finite type I
    • Tait, W. W. (1967) Intensional interpretation of functionals of finite type I. J. Symbolic Logic 32, 198-212.
    • (1967) J. Symbolic Logic , vol.32 , pp. 198-212
    • Tait, W.W.1


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