메뉴 건너뛰기




Volumn 3085, Issue , 2004, Pages 242-258

"Wave-Style" Geometry of Interaction Models in Rel Are Graph-Like Lambda-Models

Author keywords

(linear) graph model; Categorical geometry of interaction; Traced monoidal category; Weak linear category

Indexed keywords

GEOMETRY; GRAPH THEORY; SEMANTICS;

EID: 35048863814     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24849-1_16     Document Type: Article
Times cited : (3)

References (26)
  • 1
    • 84955573850 scopus 로고    scopus 로고
    • Retracing some paths in Process Algebra
    • U. Montanari and V. Sassone eds.
    • S.Abramsky. Retracing some paths in Process Algebra, Concur'96, U. Montanari and V. Sassone eds., 1996, 1-17.
    • (1996) Concur'96 , pp. 1-17
    • Abramsky, S.1
  • 2
    • 14544291050 scopus 로고    scopus 로고
    • Interaction, Combinators, and Complexity
    • Siena (Italy)
    • S.Abramsky. Interaction, Combinators, and Complexity, lecture notes, Siena (Italy), 1997.
    • (1997) Lecture Notes
    • Abramsky, S.1
  • 3
    • 18944405125 scopus 로고    scopus 로고
    • Geometry of Interaction and Linear Combinatory Algebras
    • S.Abramsky, E.Haghverdi, P.Scott. Geometry of Interaction and Linear Combinatory Algebras, Math.Struct.in Comp.Science 12(5), 2002, 625-665.
    • (2002) Math.Struct.in Comp.Science , vol.12 , Issue.5 , pp. 625-665
    • Abramsky, S.1    Haghverdi, E.2    Scott, P.3
  • 4
    • 0002893293 scopus 로고
    • New foundations for the Geometry of Interaction
    • S.Abramsky, R.Jagadeesan. New foundations for the Geometry of Interaction, Inf. and Comp. 111(1), 1994, 53-119.
    • (1994) Inf. and Comp. , vol.111 , Issue.1 , pp. 53-119
    • Abramsky, S.1    Jagadeesan, R.2
  • 6
    • 84959339092 scopus 로고    scopus 로고
    • A Fully-complete per Model for ML Polymorphic Types
    • S.Abramsky, M.Lenisa. A Fully-complete PER Model for ML Polymorphic Types, CSL'00, LNCS 1862, 2000, 140-155.
    • (2000) CSL'00, LNCS , vol.1862 , pp. 140-155
    • Abramsky, S.1    Lenisa, M.2
  • 7
    • 23044528606 scopus 로고    scopus 로고
    • Fully Complete Minimal per Models for the Simply Typed A-calculus
    • S.Abramsky, M.Lenisa. Fully Complete Minimal PER Models for the Simply Typed A-calculus, CSL'01, LNCS 2142, 2001, 443-457.
    • (2001) CSL'01, LNCS , vol.2142 , pp. 443-457
    • Abramsky, S.1    Lenisa, M.2
  • 9
    • 0032597487 scopus 로고    scopus 로고
    • Concurrent Games and Full Completeness
    • S.Abramsky, P.Mellies. Concurrent Games and Full Completeness, LICS'99, 431-442.
    • LICS'99 , pp. 431-442
    • Abramsky, S.1    Mellies, P.2
  • 12
    • 0000807910 scopus 로고
    • A filter lambda model and the completeness of type assignment system
    • H.Barendregt, M.Coppo, M.Dezani. A filter lambda model and the completeness of type assignment system, J. Symbolic Logic 48, 1983, 931-940.
    • (1983) J. Symbolic Logic , vol.48 , pp. 931-940
    • Barendregt, H.1    Coppo, M.2    Dezani, M.3
  • 16
    • 0027269156 scopus 로고    scopus 로고
    • Local and Asynchronous beta-reduction (An analysis of Girard's Execution Formula)
    • V.Danos, L.Regnier. Local and Asynchronous beta-reduction (An analysis of Girard's Execution Formula), LICS'93, 296-306.
    • LICS'93 , pp. 296-306
    • Danos, V.1    Regnier, L.2
  • 17
    • 0000144033 scopus 로고    scopus 로고
    • Proof-nets and the Hubert space
    • J.-Y.Girard et al. eds., London Math. Soc. Series Cambridge University Press
    • V.Danos, L.Regnier. Proof-nets and the Hubert space, in J.-Y.Girard et al. eds., Advances in linear Logic, London Math. Soc. Series 222, Cambridge University Press, 307-328.
    • Advances in Linear Logic , vol.222 , pp. 307-328
    • Danos, V.1    Regnier, L.2
  • 18
    • 0001119508 scopus 로고    scopus 로고
    • Geometry of Interaction I: Interpretation of System F
    • R.Ferro et al. eds., North Holland
    • J.-Y.Girard. Geometry of Interaction I: Interpretation of System F, Logic Colloquium'88, R.Ferro et al. eds., North Holland, 221-260.
    • Logic Colloquium'88 , pp. 221-260
    • Girard, J.-Y.1
  • 19
    • 0003086621 scopus 로고    scopus 로고
    • Semantical Analysis of Perpetual Strategies in lambda-calculus
    • F.Honsell, M.Lenisa. Semantical Analysis of Perpetual Strategies in lambda-calculus, TCS, 212, 1999, 183-209.
    • (1999) TCS , vol.212 , pp. 183-209
    • Honsell, F.1    Lenisa, M.2
  • 20
    • 35048841844 scopus 로고    scopus 로고
    • Strict Geometry of Interaction Graph Models
    • F.Honsell, M.Lenisa. Strict Geometry of Interaction Graph Models, LPAR'03, LNAI 2850, 2003, 403-417.
    • (2003) LPAR'03, LNAI , vol.2850 , pp. 403-417
    • Honsell, F.1    Lenisa, M.2
  • 21
    • 0026902023 scopus 로고
    • An approximation theorem for topological lambda models and the topological incompleteness of lambda models
    • F.Honsell, S.Ronchi Della Rocca. An approximation theorem for topological lambda models and the topological incompleteness of lambda models, J. Comp. System Sci. 45, 1992, 49-75.
    • (1992) J. Comp. System Sci. , vol.45 , pp. 49-75
    • Honsell, F.1    Ronchi Della Rocca, S.2
  • 22
    • 0034672932 scopus 로고    scopus 로고
    • On full abstraction for PCF
    • M.Hyland, L.Ong. On full abstraction for PCF, Inf. and Comp. 163, 2000.
    • (2000) Inf. and Comp. , vol.163
    • Hyland, M.1    Ong, L.2
  • 24
    • 0027910780 scopus 로고    scopus 로고
    • Set-theoretical and other elementary models of the λ-calculus
    • M.Dezani et al. eds., Elsevier
    • G.Plotkin. Set-theoretical and other elementary models of the λ-calculus, Volume in Honour of Corrado B̈hm, M.Dezani et al. eds., Elsevier, 351-410.
    • Volume in Honour of Corrado B̈hm , pp. 351-410
    • Plotkin, G.1
  • 26
    • 9444251957 scopus 로고
    • Lambda calculus: Some models, some philosophy
    • J.Barwise ed., North Holland, Amsterdam
    • D.Scott. Lambda calculus: some models, some philosophy, Proc. The Kleene Symp., J.Barwise ed., North Holland, Amsterdam, 1980.
    • (1980) Proc. the Kleene Symp.
    • Scott, D.1


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