메뉴 건너뛰기




Volumn 24, Issue 2-3, 2014, Pages 384-418

Propositions as sessions

Author keywords

[No Author keywords available]

Indexed keywords

LINEAR ALGEBRA;

EID: 84901305583     PISSN: 09567968     EISSN: 14697653     Source Type: Journal    
DOI: 10.1017/S095679681400001X     Document Type: Conference Paper
Times cited : (183)

References (44)
  • 1
    • 0027574302 scopus 로고
    • Computational interpretations of linear logic
    • Abramsky, S. (1993) Computational interpretations of linear logic. Theor. Comput. Sci. 111(1 & 2), 3-57.
    • (1993) Theor. Comput. Sci. , vol.111 , Issue.1-2 , pp. 3-57
    • Abramsky, S.1
  • 2
    • 0028766104 scopus 로고
    • Proofs as processes
    • Abramsky, S. (1994) Proofs as processes. Theor. Comput. Sci. 135(1), 5-9.
    • (1994) Theor. Comput. Sci. , vol.135 , Issue.1 , pp. 5-9
    • Abramsky, S.1
  • 4
    • 0028766061 scopus 로고
    • On the pi-calculus and linear logic
    • Bellin, G. & Scott, P. J. (1994) On the pi-calculus and linear logic. Theor. Comput. Sci. 135(1), 11-65.
    • (1994) Theor. Comput. Sci. , vol.135 , Issue.1 , pp. 11-65
    • Bellin, G.1    Scott, P.J.2
  • 6
    • 28844437976 scopus 로고    scopus 로고
    • Genericity and the pi-calculus
    • Berger, M., Honda, K. & Yoshida, N. (2005) Genericity and the pi-calculus. Acta Inform. 42(2-3), 83-141.
    • (2005) Acta Inform , vol.42 , Issue.2-3 , pp. 83-141
    • Berger, M.1    Honda, K.2    Yoshida, N.3
  • 11
    • 84977520743 scopus 로고    scopus 로고
    • A graphical approach to progress for structured communication in web services
    • Carbone, M. & Debois, S. (2010) A graphical approach to progress for structured communication in web services. In Interaction and Concurrency Experience (ICE), pp. 13-27.
    • (2010) Interaction and Concurrency Experience (ICE , pp. 13-27
    • Carbone, M.1    Debois, S.2
  • 12
    • 34748826163 scopus 로고    scopus 로고
    • Language support for fast and reliable message-based communication in singularity OS
    • DOI 10.1145/1217935.1217953, 1217953, Proceedings of the 2006 EuroSys Conference
    • Fahndrich, M., Aiken, M., Hawblitzel, C., Hodson, O., Hunt, G. C., Larus, J. R. & Levi, S. (2006) Language support for fast and reliable message-based communication in singularity OS. In European Conference on Computer Systems (EuroSys), pp. 177-190. (Pubitemid 47485746)
    • (2006) Proceedings of the 2006 EuroSys Conference , pp. 177-190
    • Fahndrich, M.1    Aiken, M.2    Hawblitzel, C.3    Hodson, O.4    Hunt, G.5    Larus, J.R.6    Levi, S.7
  • 14
    • 28844438936 scopus 로고    scopus 로고
    • Subtyping for session types in the pi calculus
    • Gay, S. J. & Hole, M. (2005) Subtyping for session types in the pi calculus. Acta Inform., 42(2-3), 191-225.
    • (2005) Acta Inform , vol.42 , Issue.2-3 , pp. 191-225
    • Gay, S.J.1    Hole, M.2
  • 15
    • 77951136536 scopus 로고    scopus 로고
    • Linear type theory for asynchronous session types
    • Gay, S. J. & Vasconcelos, V. T. (2010) Linear type theory for asynchronous session types. J. Funct. Program. 20(1), 19-50.
    • (2010) J. Funct. Program. , vol.20 , Issue.1 , pp. 19-50
    • Gay, S.J.1    Vasconcelos, V.T.2
  • 17
    • 84976163878 scopus 로고
    • A new constructive logic: Classical logic
    • Girard, J.-Y. (1991) A new constructive logic: Classical logic. Math. Struct. Comput. Sci. 1(3), 255- 296.
    • (1991) Math. Struct. Comput. Sci. , vol.1 , Issue.3 , pp. 255-296
    • Girard, J.-Y.1
  • 18
    • 0003432047 scopus 로고
    • Cambridge Tracts in Theoretical Computer Science. Cambridge, UK: Cambridge University Press
    • Girard, J.-Y., Lafont, Y. & Taylor, P. (1989) Proofs and Types, Cambridge Tracts in Theoretical Computer Science, vol. 7. Cambridge, UK: Cambridge University Press.
    • (1989) Proofs and Types , vol.7
    • Girard, J.-Y.1    Lafont, Y.2    Taylor, P.3
  • 19
    • 24944520912 scopus 로고    scopus 로고
    • On the degeneracy of sigma-types in presence of computational classical logic
    • Herbelin, H. (2005) On the degeneracy of sigma-types in presence of computational classical logic. In Typed Lambda Calculi and Applications (TLCA), pp. 209-220.
    • (2005) Typed Lambda Calculi and Applications (TLCA) , pp. 209-220
    • Herbelin, H.1
  • 21
    • 84947741770 scopus 로고    scopus 로고
    • Language primitives and type discipline for structured communication-based programming
    • Programming Languages and Systems
    • Honda, K., Vasconcelos, V. T. & Kubo, M. (1998) Language primitives and type discipline for structured communication-based programming. In European Symposium on Programming (ESOP), pp. 122-138. (Pubitemid 128054298
    • (1998) LECTURE NOTES in COMPUTER SCIENCE , Issue.1381 , pp. 122-138
    • Honda, K.1    Vasconcelos, V.T.2    Kubo, M.3
  • 26
    • 84958760366 scopus 로고
    • Higher-order concurrent linear logic programming
    • Berlin, Germany: Springer-Verlag
    • Kobayashi, N. & Yonezawa, A. (1994) Higher-order concurrent linear logic programming. In Theory and Practice of Parallel Programming, LNCS, vol. 907. Berlin, Germany: Springer-Verlag, pp. 137-166.
    • (1994) Theory and Practice of Parallel Programming, LNCS , vol.907 , pp. 137-166
    • Kobayashi, N.1    Yonezawa, A.2
  • 27
    • 0000508353 scopus 로고
    • Asynchronous communication model based on linear logic
    • Kobayashi, N. & Yonezawa, A. (1995) Asynchronous communication model based on linear logic. Form. Asp. Comput. 7(2), 113-149.
    • (1995) Form. Asp. Comput. , vol.7 , Issue.2 , pp. 113-149
    • Kobayashi, N.1    Yonezawa, A.2
  • 29
    • 85022817949 scopus 로고    scopus 로고
    • On asynchrony in name-passing calculi
    • Merro, M. & Sangiorgi, D. (2004) On asynchrony in name-passing calculi. Math. Struct. Comput. Sci. 14(5), 715-767.
    • (2004) Math. Struct. Comput. Sci. , vol.14 , Issue.5 , pp. 715-767
    • Merro, M.1    Sangiorgi, D.2
  • 30
    • 84913004277 scopus 로고
    • The pi-calculus as a theory in linear logic: Preliminary results
    • Berlin, Germany: Springer-Verlag
    • Miller, D. (1992) The pi-calculus as a theory in linear logic: Preliminary results. In Extensions to Logic Programming, LNCS, vol. 660. Berlin, Germany: Springer-Verlag, pp. 242-264.
    • (1992) Extensions to Logic Programming, LNCS , vol.660 , pp. 242-264
    • Miller, D.1
  • 34
    • 0000233772 scopus 로고    scopus 로고
    • Behavioral equivalence in the polymorphic pi-calculus
    • Pierce, B. C. & Sangiorgi, D. (2000) Behavioral equivalence in the polymorphic pi-calculus. J. ACM 47(3), 531-584.
    • (2000) J. ACM , vol.47 , Issue.3 , pp. 531-584
    • Pierce, B.C.1    Sangiorgi, D.2
  • 35
    • 0002464962 scopus 로고    scopus 로고
    • Pict: A programming language based on the pi-calculus
    • Plotkin, G. D., Stirling, C. and Tofte, M. (eds). Cambridge, MA: MIT Press. ISBN: 978-0-262-16188-6
    • Pierce, B. C. & Turner, D. N. (2000) Pict: A programming language based on the pi-calculus. In Proof, Language, and Interaction, Essays in Honour of Robin Milner, Plotkin, G. D., Stirling, C. and Tofte, M. (eds). Cambridge, MA: MIT Press, pp. 455-494. ISBN: 978-0-262-16188-6.
    • (2000) Proof, Language, and Interaction, Essays in Honour of Robin Milner , pp. 455-494
    • Pierce, B.C.1    Turner, D.N.2
  • 36
    • 79959321064 scopus 로고    scopus 로고
    • Structural recursion with locally scoped names
    • Pitts, A. M. (2011) Structural recursion with locally scoped names. J. Funct. Program. 21(3), 235- 286.
    • (2011) J. Funct. Program , vol.21 , Issue.3 , pp. 235-286
    • Pitts, A.M.1
  • 38
    • 85010894472 scopus 로고
    • An interaction-based language and its typing system
    • Athens, Greece, Halatsis, C., Maritsas, D. G., Philokyprou, G. and Theodoridis, S. (eds), LNCS . Berlin, Germany: Springer-Verlag
    • Takeuchi, K., Honda, K. & Kubo, M. (1994) An interaction-based language and its typing system. In Proceedings of the 6th International PARLE Conference, Athens, Greece, Halatsis, C., Maritsas, D. G., Philokyprou, G. and Theodoridis, S. (eds), LNCS, vol. 817. Berlin, Germany: Springer- Verlag, pp. 398-413.
    • (1994) Proceedings of the 6th International PARLE Conference , vol.817 , pp. 398-413
    • Takeuchi, K.1    Honda, K.2    Kubo, M.3
  • 42
    • 84863332413 scopus 로고    scopus 로고
    • Sessions from types to programming languages
    • Vasconcelos, V. T. (2011) Sessions, from types to programming languages. Bull. Eur. Assoc. Theor. Comput. Sci. 103, 53-73.
    • Bull Eur Assoc Theor Comput Sci , vol.103 , Issue.2011 , pp. 53-73
    • Vasconcelos, V.T.1
  • 44
    • 34250810712 scopus 로고    scopus 로고
    • Language primitives and type discipline for structured communication-based programming revisited: Two systems for higher-Order session communication
    • DOI 10.1016/j.entcs.2007.02.056, PII S1571066107004239
    • Yoshida, N. & Vasconcelos, V. T. (2007) Language primitives and type discipline for structured communication-based programming revisited: Two systems for higher-order session communication. Electron. Notes Theor. Comput. Sci. 171(4), 73-93. (Pubitemid 46977865
    • (2007) Electronic Notes in Theoretical Computer Science , vol.171 , Issue.4 , pp. 73-93
    • Yoshida, N.1    Vasconcelos, V.T.2


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