메뉴 건너뛰기




Volumn 347, Issue 3, 2005, Pages 441-464

A structural approach to reversible computation

Author keywords

Automata; Geometry of Interaction; Linear combinatory algebra; Reversible computation; Term rewriting

Indexed keywords

COMPUTER SIMULATION; FUNCTIONS; INTERFACES (COMPUTER); LINEAR ALGEBRA; PHYSICS;

EID: 27744519293     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2005.07.002     Document Type: Article
Times cited : (69)

References (51)
  • 1
    • 0002534194 scopus 로고
    • The lazy λ-calculus
    • D.A. Turner Addison-Wesley Reading, MA
    • S. Abramsky The lazy λ -calculus D.A. Turner Research Topics in Functional Programming 1990 Addison-Wesley Reading, MA 65 116
    • (1990) Research Topics in Functional Programming , pp. 65-116
    • Abramsky, S.1
  • 2
    • 84955573850 scopus 로고    scopus 로고
    • Retracing some paths in process algebra
    • Proc. CONCUR'96 Springer, Berlin
    • S. Abramsky, Retracing some paths in process algebra, in: Proc. CONCUR'96, Springer Lecture Notes in Computer Science, Vol. 1119, Springer, Berlin, 1996, pp. 1-17.
    • (1996) Springer Lecture Notes in Computer Science , vol.1119 , pp. 1-17
    • Abramsky, S.1
  • 3
    • 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
  • 5
    • 0002893293 scopus 로고
    • New foundations for the geometry of interaction
    • S. Abramsky, and R. Jagadeesan New foundations for the geometry of interaction Inform. Comput. 111 1 1994 53 119 (Conference version appeared in LiCS'92)
    • (1994) Inform. Comput. , vol.111 , Issue.1 , pp. 53-119
    • Abramsky, S.1    Jagadeesan, R.2
  • 6
    • 0002996223 scopus 로고
    • Games and full completeness for multiplicative linear logic
    • S. Abramsky, and R. Jagadeesan Games and full completeness for multiplicative linear logic J. Symbolic Logic 59 2 1994 543 574
    • (1994) J. Symbolic Logic , vol.59 , Issue.2 , pp. 543-574
    • Abramsky, S.1    Jagadeesan, R.2
  • 7
    • 85026751757 scopus 로고
    • Full abstraction for PCF (extended abstract)
    • M. Hagiya, J.C. Mitchell (Eds.), Proc. TACS'94 Springer, Berlin
    • S. Abramsky, R. Jagadeesan, P. Malacaria, Full Abstraction for PCF (Extended Abstract), in: M. Hagiya, J.C. Mitchell (Eds.), Proc. TACS'94, Lecture Notes in Computer Science, Vol. 789, Springer, Berlin, 1994, pp. 1-15.
    • (1994) Lecture Notes in Computer Science , vol.789 , pp. 1-15
    • Abramsky, S.1    Jagadeesan, R.2    Malacaria, P.3
  • 9
    • 19144365316 scopus 로고    scopus 로고
    • Linear realizability and full completeness for typed lambda-calculi
    • S. Abramsky, M. Lenisa, Linear realizability and full completeness for typed lambda-calculi, Ann. Pure Appl. Logic 134 (2005) 122-168.
    • (2005) Ann. Pure Appl. Logic , vol.134 , pp. 122-168
    • Abramsky, S.1    Lenisa, M.2
  • 13
    • 0024016299 scopus 로고
    • The semantics and proof theory of linear logic
    • A. Avron The semantics and proof theory of linear logic Theoret. Comput. Sci. 57 1988 161 184
    • (1988) Theoret. Comput. Sci. , vol.57 , pp. 161-184
    • Avron, A.1
  • 15
    • 0035119256 scopus 로고    scopus 로고
    • Elementary complexity and the geometry of interaction
    • P. Baillot, and M. Pedicini Elementary complexity and the geometry of interaction Fund. Inform. 45 1-2 2001 1 31
    • (2001) Fund. Inform. , vol.45 , Issue.1-2 , pp. 1-31
    • Baillot, P.1    Pedicini, M.2
  • 16
    • 0013279207 scopus 로고
    • The lambda calculus
    • North-Holland, Amsterdam
    • H.P. Barendregt, The Lambda Calculus, Studies in Logic, Vol. 103, North-Holland, Amsterdam, 1984.
    • (1984) Studies in Logic , vol.103
    • Barendregt, H.P.1
  • 17
    • 0015680909 scopus 로고
    • Logical reversibility of computation
    • C.H. Bennett Logical reversibility of computation IBM J. Res. Development 17 1973 525 532
    • (1973) IBM J. Res. Development , vol.17 , pp. 525-532
    • Bennett, C.H.1
  • 18
    • 0010146684 scopus 로고
    • The thermodynamics of computation - A review
    • C.H. Bennett The thermodynamics of computation - a review Internat. J. Theoret. Phys. 21 1982 905 940
    • (1982) Internat. J. Theoret. Phys. , vol.21 , pp. 905-940
    • Bennett, C.H.1
  • 19
    • 84879517305 scopus 로고    scopus 로고
    • Time and space bounds for reversible simulation
    • Proc. ICALP 2001 Springer, Berlin
    • H. Buhrman, J. Tromp, P. Vitányi, Time and space bounds for reversible simulation, Proc. ICALP 2001, Lecture Notes in Computer Science, Vol. 2076, Springer, Berlin, 2001, pp. 1017-1027.
    • (2001) Lecture Notes in Computer Science , vol.2076 , pp. 1017-1027
    • Buhrman, H.1    Tromp, J.2    Vitányi, P.3
  • 20
    • 0004020078 scopus 로고
    • Cambridge University Press Cambridge
    • R. Crole Categories for Types 1993 Cambridge University Press Cambridge
    • (1993) Categories for Types
    • Crole, R.1
  • 26
    • 22244435096 scopus 로고
    • Geometry of interaction I: Interpretation of system F
    • R. Ferro North-Holland Amsterdam*et al.
    • J.-Y. Girard Geometry of interaction I: interpretation of system F R. Ferro Logic Colloquium '88 1989 North-Holland Amsterdam 221 260
    • (1989) Logic Colloquium '88 , pp. 221-260
    • Girard, J.-Y.1
  • 27
    • 85031925268 scopus 로고
    • Geometry of interaction II: Deadlock-free algorithms
    • P. Martin-Lof, G. Mints (Eds.), Proc. COLOG-88 Springer, Berlin
    • J.-Y. Girard, Geometry of interaction II: deadlock-free algorithms, in: P. Martin-Lof, G. Mints (Eds.), Proc. COLOG-88, Lecture Notes in Computer Science, Springer, Berlin, Vol. 417, 1990, pp. 76-93.
    • (1990) Lecture Notes in Computer Science , vol.417 , pp. 76-93
    • Girard, J.-Y.1
  • 28
    • 0043210213 scopus 로고
    • Geometry of interaction III: Accomodating the additives
    • J.-Y. Girard, Y. Lafont, L. Regnier (Eds.), Advances in Linear Logic Cambridge University Press, Cambridge
    • J.-Y. Girard, Geometry of interaction III: accomodating the additives, in: J.-Y. Girard, Y. Lafont, L. Regnier (Eds.), Advances in Linear Logic, London Mathematical Society Series 222, Cambridge University Press, Cambridge, 1995, pp. 329-389.
    • (1995) London Mathematical Society Series , vol.222 , pp. 329-389
    • Girard, J.-Y.1
  • 32
    • 0027227070 scopus 로고
    • Database query languages embedded in the typed lambda calculus
    • IEEE Computer Society Press, Silver Spring, MD
    • G.G. Hillebrand, P.C. Kanellakis, and H. Mairson Database query languages embedded in the typed lambda calculus Proc. LiCS'93 IEEE Computer Society Press, Silver Spring, MD 1993 332 343
    • (1993) Proc. LiCS'93 , pp. 332-343
    • Hillebrand, G.G.1    Kanellakis, P.C.2    Mairson, H.3
  • 36
    • 0010696956 scopus 로고    scopus 로고
    • The categorical theory of self-similarity
    • P.M. Hines The categorical theory of self-similarity Theory Appl. Categories 6 1999 33 46
    • (1999) Theory Appl. Categories , vol.6 , pp. 33-46
    • Hines, P.M.1
  • 39
    • 0001834942 scopus 로고
    • Term rewriting systems
    • S. Abramsky, D. Gabbay, T.S.E. Maibaum (Eds) Oxford University Press, Oxford
    • J.W. Klop, Term rewriting systems, in: S. Abramsky, D. Gabbay, T.S.E. Maibaum (Eds.), Handbook of Theoretical Computer Science, Vol. 2, Oxford University Press, Oxford, 1992, pp. 1-116.
    • (1992) Handbook of Theoretical Computer Science , vol.2 , pp. 1-116
    • Klop, J.W.1
  • 40
    • 0011459607 scopus 로고
    • A method for enumerating cosets of a group presented by a canonical system
    • N. Kuhn, K. Madlener, A method for enumerating cosets of a group presented by a canonical system, in: Proc. ISSAC'89, 1989, pp. 338-350.
    • (1989) Proc. ISSAC'89 , pp. 338-350
    • Kuhn, N.1    Madlener, K.2
  • 41
    • 0000328287 scopus 로고
    • Irreversibility and heat generation in the computing process
    • R. Landauer Irreversibility and heat generation in the computing process IBM J. Res. Develop. 5 1961 183 191
    • (1961) IBM J. Res. Develop. , vol.5 , pp. 183-191
    • Landauer, R.1
  • 43
    • 0000192783 scopus 로고
    • Machines de Turing Réversible
    • Y. Lecerf Machines de Turing Réversible Compte Rendus 257 1963 2597 2600
    • (1963) Compte Rendus , vol.257 , pp. 2597-2600
    • Lecerf, Y.1
  • 44
    • 0004171041 scopus 로고
    • Ph.D. Thesis, Imperial College, University of London
    • I. Mackie, The geometry of implementation, Ph.D. Thesis, Imperial College, University of London, 1994.
    • (1994) The Geometry of Implementation
    • MacKie, I.1
  • 50
    • 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 1975 125 159
    • (1975) Theoret. Comput. Sci. , vol.1 , pp. 125-159
    • Plotkin, G.D.1
  • 51
    • 0003354116 scopus 로고
    • Lectures on linear logic center for the study of language and information
    • A.S. Troelstra, Lectures on Linear Logic Center for the Study of Language and Information, Lecture Notes, Vol. 29, 1992.
    • (1992) Lecture Notes , vol.29
    • Troelstra, A.S.1


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