메뉴 건너뛰기




Volumn 355, Issue 2, 2006, Pages 108-126

Intersection types and lambda models

Author keywords

and reduction expansion; calculus; models; Intersection types

Indexed keywords

CODES (STANDARDS); MATHEMATICAL MODELS; SEMANTICS;

EID: 33644919723     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2006.01.004     Document Type: Article
Times cited : (24)

References (31)
  • 1
    • 19144373216 scopus 로고
    • Domain theory in logical form
    • S. Abramsky Domain theory in logical form Ann. Pure Appl. Logic 51 1-2 1991 1 77
    • (1991) Ann. Pure Appl. Logic , vol.51 , Issue.1-2 , pp. 1-77
    • Abramsky, S.1
  • 2
    • 0000451579 scopus 로고
    • Full abstraction in the lazy lambda calculus
    • S. Abramsky, and C.-H.L. Ong Full abstraction in the lazy lambda calculus Inform. and Comput. 105 2 1993 159 267
    • (1993) Inform. and Comput. , vol.105 , Issue.2 , pp. 159-267
    • Abramsky, S.1    Ong, C.-H.L.2
  • 3
    • 18944404535 scopus 로고    scopus 로고
    • Intersection types and computational rules
    • R. de Queiroz E. Pimentel L. Figueiredo Elsevier Amsterdam
    • F. Alessi, F. Barbanera, and M. Dezani-Ciancaglini Intersection types and computational rules R. de Queiroz E. Pimentel L. Figueiredo WoLLIC'03, ENTCS vol. 84 2003 Elsevier Amsterdam
    • (2003) WoLLIC'03, ENTCS , vol.84
    • Alessi, F.1    Barbanera, F.2    Dezani-Ciancaglini, M.3
  • 7
    • 85068247084 scopus 로고    scopus 로고
    • Simple easy terms
    • S. van Bakel Elsevier Amsterdam
    • F. Alessi, and S. Lusin Simple easy terms S. van Bakel ITRS'02, ENTCS Vol. 70 2002 Elsevier Amsterdam
    • (2002) ITRS'02, ENTCS , vol.70
    • Alessi, F.1    Lusin, S.2
  • 9
    • 0000807910 scopus 로고
    • A filter lambda model and the completeness of type assignment
    • H. Barendregt, M. Coppo, and M. Dezani-Ciancaglini A filter lambda model and the completeness of type assignment J. Symbolic Logic 48 4 1983 931 940
    • (1983) J. Symbolic Logic , vol.48 , Issue.4 , pp. 931-940
    • Barendregt, H.1    Coppo, M.2    Dezani-Ciancaglini, M.3
  • 11
  • 12
    • 77956960632 scopus 로고
    • Extended type structures and filter lambda models
    • G. Lolli G. Longo A. Marcja North-Holland Amsterdam
    • M. Coppo, F. Honsell, M. Dezani-Ciancaglini, and G. Longo Extended type structures and filter lambda models G. Lolli G. Longo A. Marcja Logic Colloq. '82 1984 North-Holland Amsterdam 241 262
    • (1984) Logic Colloq. '82 , pp. 241-262
    • Coppo, M.1    Honsell, F.2    Dezani-Ciancaglini, M.3    Longo, G.4
  • 16
    • 3042818025 scopus 로고    scopus 로고
    • A complete characterization of complete intersection-type preorders
    • M. Dezani-Ciancaglini, F. Honsell, and F. Alessi A complete characterization of complete intersection-type preorders ACM TOCL 4 1 2003 120 147
    • (2003) ACM TOCL , vol.4 , Issue.1 , pp. 120-147
    • Dezani-Ciancaglini, M.1    Honsell, F.2    Alessi, F.3
  • 17
    • 23844506929 scopus 로고    scopus 로고
    • Compositional characterization of λ-terms using intersection types
    • M. Dezani-Ciancaglini, F. Honsell, Y. Motohama, Compositional characterization of λ -terms using intersection types, Theoret. Comput. Sci. 340 (3) (2005) 459-495.
    • (2005) Theoret. Comput. Sci. , vol.340 , Issue.3 , pp. 459-495
    • Dezani-Ciancaglini, M.1    Honsell, F.2    Motohama, Y.3
  • 18
    • 0001293890 scopus 로고
    • Operational, denotational and logical descriptions: A case study
    • L. Egidi, F. Honsell, and S. Ronchi Della Rocca Operational, denotational and logical descriptions: a case study Fund. Inform. 16 2 1992 149 169
    • (1992) Fund. Inform. , vol.16 , Issue.2 , pp. 149-169
    • Egidi, L.1    Honsell, F.2    Ronchi Della Rocca, S.3
  • 19
    • 51249186281 scopus 로고
    • Algebras and combinators
    • E. Engeler Algebras and combinators Algebra Universalis 13 3 1981 389 392
    • (1981) Algebra Universalis , vol.13 , Issue.3 , pp. 389-392
    • Engeler, E.1
  • 21
    • 84982656456 scopus 로고
    • Lambda-calculus models and extensionality
    • R. Hindley, and G. Longo Lambda-calculus models and extensionality Z. Math. Logik Grundlag. Math. 26 4 1980 289 310
    • (1980) Z. Math. Logik Grundlag. Math. , vol.26 , Issue.4 , pp. 289-310
    • Hindley, R.1    Longo, G.2
  • 22
    • 84947442951 scopus 로고
    • Some results on the full abstraction problem for restricted lambda calculi
    • A.M. Borzyszkowski S. Sokolowski Springer Berlin
    • F. Honsell, and M. Lenisa Some results on the full abstraction problem for restricted lambda calculi A.M. Borzyszkowski S. Sokolowski MFCS'93, Lecture Notes in Computer Science vol. 711 1993 Springer Berlin 84 104
    • (1993) MFCS'93, Lecture Notes in Computer Science , vol.711 , pp. 84-104
    • Honsell, F.1    Lenisa, M.2
  • 23
    • 0003086621 scopus 로고    scopus 로고
    • Semantical analysis of perpetual strategies in λ-calculus
    • F. Honsell, and M. Lenisa Semantical analysis of perpetual strategies in λ -calculus Theoret. Comput. Sci. 212 1-2 1999 183 209
    • (1999) Theoret. Comput. Sci. , vol.212 , Issue.1-2 , pp. 183-209
    • Honsell, F.1    Lenisa, M.2
  • 24
    • 0026902023 scopus 로고
    • An approximation theorem for topological lambda models and the topological incompleteness of lambda calculus
    • F. Honsell, and S. Ronchi Della Rocca An approximation theorem for topological lambda models and the topological incompleteness of lambda calculus J. Comput. System Sci. 45 1 1992 49 75
    • (1992) J. Comput. System Sci. , vol.45 , Issue.1 , pp. 49-75
    • Honsell, F.1    Ronchi Della Rocca, S.2
  • 25
    • 0004330912 scopus 로고
    • The y -combinator in Scott's λ -calculus models (revised version)
    • Department of Computer Science, University of Warwick
    • D. Park The Y -combinator in Scott's λ -calculus models (revised version), Theory of Computation Report 13, Department of Computer Science 1976 University of Warwick
    • (1976) Theory of Computation Report , vol.13
    • Park, D.1
  • 26
    • 18944377121 scopus 로고
    • Call-by-name, call-by-value and the λ-calculus
    • G.D. Plotkin Call-by-name, call-by-value and the λ -calculus Theoret. Comput. Sci. 1 2 1975 125 159
    • (1975) Theoret. Comput. Sci. , vol.1 , Issue.2 , pp. 125-159
    • Plotkin, G.D.1
  • 27
    • 0027910780 scopus 로고
    • Set-theoretical and other elementary models of the λ-calculus
    • G.D. Plotkin Set-theoretical and other elementary models of the λ -calculus Theoret. Comput. Sci. 121 1-2 1993 351 409
    • (1993) Theoret. Comput. Sci. , vol.121 , Issue.1-2 , pp. 351-409
    • Plotkin, G.D.1
  • 30
    • 0000415462 scopus 로고
    • Complete restrictions of the intersection type discipline
    • S. van Bakel Complete restrictions of the intersection type discipline Theoret. Comput. Sci. 102 1 1992 135 163
    • (1992) Theoret. Comput. Sci. , vol.102 , Issue.1 , pp. 135-163
    • Van Bakel, S.1
  • 31
    • 0003923505 scopus 로고
    • Cambridge University Press Cambridge
    • S. Vickers Topology Via Logic 1989 Cambridge University Press Cambridge
    • (1989) Topology Via Logic
    • Vickers, S.1


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