메뉴 건너뛰기




Volumn 2998, Issue , 2004, Pages 260-275

Normalization by Evaluation for λ→2

Author keywords

[No Author keywords available]

Indexed keywords

BOOLEAN FUNCTIONS; DECISION TREES; DIFFERENTIATION (CALCULUS); FUNCTIONAL PROGRAMMING; LOGIC PROGRAMMING; SEMANTICS;

EID: 35048841111     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24754-8_19     Document Type: Article
Times cited : (15)

References (13)
  • 2
    • 0342373171 scopus 로고
    • Categorical reconstruction of a reduction free normalization proof
    • D. Pitt, D. E. Rydeheard, and P. Johnstone, editors, number 953 in LNCS, Springer-Verlag
    • T. Altenkirch, M. Hofmann, and T. Streicher. Categorical reconstruction of a reduction free normalization proof. In D. Pitt, D. E. Rydeheard, and P. Johnstone, editors, Category Theory and Computer Science, number 953 in LNCS, pages 182199, Springer-Verlag, 1995.
    • (1995) Category Theory and Computer Science , pp. 182199
    • Altenkirch, T.1    Hofmann, M.2    Streicher, T.3
  • 7
    • 0022769976 scopus 로고
    • Graph-based algorithms for boolean function manipulation
    • R. E. Bryant. Graph-based algorithms for boolean function manipulation. IEEE Trans, on Computers, 35(8):677-691, 1986.
    • (1986) IEEE Trans, on Computers , vol.35 , Issue.8 , pp. 677-691
    • Bryant, R.E.1
  • 8
    • 0034711986 scopus 로고    scopus 로고
    • Equality between functionals in the presence of coproducts
    • D. J. Dougherty and R. Subrahmanyam. Equality between functionals in the presence of coproducts. Information and Computation, 157(l-2):52-83, 2000.
    • (2000) Information and Computation , vol.157 , Issue.50 , pp. 52-83
    • Dougherty, D.J.1    Subrahmanyam, R.2
  • 9
    • 84886794060 scopus 로고    scopus 로고
    • Normalization and partial evaluation
    • G. Barthe et al., editors, number 2395 in LNCS, SpringerVerlag
    • P. Dybjer and A. Filinski. Normalization and partial evaluation. In G. Barthe et al., editors, Applied Semantics, number 2395 in LNCS, pages 137-192. SpringerVerlag, 2002.
    • (2002) Applied Semantics , pp. 137-192
    • Dybjer, P.1    Filinski, A.2
  • 10
    • 0004004014 scopus 로고
    • PhD thesis, LFCS, Univ. of Edinburgh
    • N. Ghani. Adjoint Rewriting. PhD thesis, LFCS, Univ. of Edinburgh, 1995.
    • (1995) Adjoint Rewriting
    • Ghani, N.1
  • 11
    • 0042469266 scopus 로고
    • βη-equality for coproducts
    • M. Dezani-Ciancaglini and G. D. Plotkin, editors, number 902 in LNCS, Springer-Verlag
    • N. Ghani. βη-equality for coproducts. In M. Dezani-Ciancaglini and G. D. Plotkin, editors, Typed Lambda Calculus and Applications, number 902 in LNCS, pages 171185. Springer-Verlag, 1995.
    • (1995) Typed Lambda Calculus and Applications , pp. 171185
    • Ghani, N.1
  • 13
    • 0003635681 scopus 로고
    • Memorandum SAI-RM-4, Lab. for Artif. Intell., Univ. of Edinburgh, Oct.
    • G. D. Plotkin. Lambda-definability and logical relations. Memorandum SAI-RM-4, Lab. for Artif. Intell., Univ. of Edinburgh, Oct. 1973.
    • (1973) Lambda-definability and Logical Relations
    • Plotkin, G.D.1


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