메뉴 건너뛰기




Volumn 9, Issue 1, 1999, Pages 1-20

Full abstraction, totality and PCF

Author keywords

[No Author keywords available]

Indexed keywords


EID: 0002118997     PISSN: 09601295     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0960129598002692     Document Type: Article
Times cited : (21)

References (38)
  • 2
    • 85022781573 scopus 로고
    • Games and full abstraction for PCF. Manuscript available from the site
    • Abramsky, S., Jagadeesan, R. and Malacaria, P. (1995) Games and full abstraction for PCF. Manuscript available from the site http://www.dcs.ed.ac.uk. Also, to appear in J. of Inf. and Comp.
    • (1995) J. of Inf. and Comp.
    • Abramsky, S.1    Jagadeesan, R.2    Malacaria, P.3
  • 3
    • 0001847686 scopus 로고
    • Domain theory. In: Abramsky, S., Gabbay, D. and Maibaum, T. S. E. (eds. )
    • Clarendon Press
    • Abramsky, S. and Jung, A. (1994) Domain theory. In: Abramsky, S., Gabbay, D. and Maibaum, T. S. E. (eds.) Handbook of Logic in Computer Science 3, Clarendon Press 1–168.
    • (1994) Handbook of Logic in Computer Science , vol.3 , pp. 1-168
    • Abramsky, S.1    Jung, A.2
  • 4
    • 0003749740 scopus 로고
    • The Lambda Calculus
    • North-Holland
    • Barendregt, H. (1984) The Lambda Calculus, North-Holland.
    • (1984)
    • Barendregt, H.1
  • 6
    • 0001770258 scopus 로고
    • Total objects and sets in domain theory. Annals of Pure and Applied Logic
    • Berger, U. (1993) Total objects and sets in domain theory. Annals of Pure and Applied Logic 60 91–117.
    • (1993) , pp. 91-117
    • Berger, U.1
  • 8
    • 0002026453 scopus 로고
    • Berry, G., Curien, P.-L. and Levy, J.-J. (1985) Full abstraction for sequential languages: the state of the art. In: Nivat, M. and Reynolds, J. C. (eds.) Algebraic Methods in Semantics, Cambridge University Press 89–132. Cook, S. A. (1989) Computability and complexity of higher type functions. In: Moschovakis, Y. (ed.) Logic from Computer Science, Springer-Verlag 51–72.
    • (1985) Full abstraction for sequential languages , pp. 51-72
    • Berry, G.1    Curien, P.-L.2    Levy, J.-J.3
  • 9
    • 21744462879 scopus 로고    scopus 로고
    • On strictness and totality. In: Abadi, M. and Ito, T. (eds.) Proc. Third Int. Sym. on Theoretical Aspects of Computer Software
    • Coppo, M., Damiani, F. and Giannini, P. (1997) On strictness and totality. In: Abadi, M. and Ito, T. (eds.) Proc. Third Int. Sym. on Theoretical Aspects of Computer Software. Springer-Verlag Lecture Notes in Computer Science 1281 138–164.
    • (1997) Springer-Verlag Lecture Notes in Computer Science , pp. 138-164
    • Coppo, M.1    Damiani, F.2    Giannini, P.3
  • 10
    • 11544353943 scopus 로고    scopus 로고
    • Refinement types for specification. In: Gries, D. and de Roever, W.-P. (eds. )
    • Chapman and Hall
    • Denney, E. (1998) Refinement types for specification. In: Gries, D. and de Roever, W.-P. (eds.) Proc. Programming Concepts and Methods ’98, Chapman and Hall 148–166.
    • (1998) Proc. Programming Concepts and Methods ’98 , pp. 148-166
    • Denney, E.1
  • 11
    • 0010748165 scopus 로고
    • Maximal and everywhere-defined functionals. Algebra i Logika
    • Ershov, Y. L. (1974) Maximal and everywhere-defined functionals. Algebra i Logika 13 (4) 347–392.
    • (1974) , vol.13 , Issue.4 , pp. 347-392
    • Ershov, Y.L.1
  • 12
    • 84982613996 scopus 로고
    • Theorie der numerierungen II. Zeitschr. f Math. Logik u. Grundl. d. Math
    • Ershov, Y. L. (1975) Theorie der numerierungen II. Zeitschr. f Math. Logik u. Grundl. d. Math. 21 473–584.
    • (1975) , pp. 473-584
    • Ershov, Y.L.1
  • 13
    • 0039390929 scopus 로고
    • Hereditarily effective operations. Algebra i Logika
    • Ershov, Y. L. (1976) Hereditarily effective operations. Algebra i Logika 15 (6) 642–654.
    • (1976) , vol.15 , Issue.6 , pp. 642-654
    • Ershov, Y.L.1
  • 14
    • 77956951454 scopus 로고
    • Model C of partial continuous functionals. In: Gandy, R.O. and Hyland, J. M. E. (eds. ) Logic Colloquium 76
    • North Holland
    • Ershov, Y.L. (1977) Model C of partial continuous functionals. In: Gandy, R.O. and Hyland, J. M. E. (eds.) Logic Colloquium 76, North Holland 455–467.
    • (1977) , pp. 455-467
    • Ershov, Y.L.1
  • 15
    • 0012157602 scopus 로고    scopus 로고
    • Do-mains and denotational semantics: history, accomplishments and open problems. Bulletin of the European Association for Theoretical Computer Science
    • Fiore, M.P., Jung, A., Moggi, E., O’Hearn, P., Riecke, J., Rosolini, G. and Stark, I. (1996) Do-mains and denotational semantics: history, accomplishments and open problems. Bulletin of the European Association for Theoretical Computer Science (59) 227–256.
    • (1996) , pp. 227-256
    • Fiore, M.P.1    Jung, A.2    Moggi, E.3    O’Hearn, P.4    Riecke, J.5    Rosolini, G.6    Stark, I.7
  • 16
    • 77956974613 scopus 로고
    • Computable and recursively countable functions of higher type
    • North Holland
    • Gandy, R. O. and Hyland, J. M. E. (1977) Computable and recursively countable functions of higher type. In: Gandy, R.O. and Hyland, J.M.E. (eds.) Logic Colloquium 76, North Holland 407–438.
    • (1977) Logic Colloquium , vol.76 , pp. 407-438
    • Gandy, R.O.1    Hyland, J.M.E.2
  • 19
    • 0029747865 scopus 로고    scopus 로고
    • A new characterization of type-2 feasibility. SIAM J. on Computing
    • Kapron, B. M. and Cook, S.A. (1996) A new characterization of type-2 feasibility. SIAM J. on Computing 25 (1) 117–132.
    • (1996) , vol.25 , Issue.1 , pp. 117-132
    • Kapron, B.M.1    Cook, S.A.2
  • 20
    • 0000425041 scopus 로고
    • Semantics for some constructors of type theory. In: Behara, M., Fritsch, R. and Lintz, R. (eds. )
    • de Gruyter
    • Kristiansen, L. and Normann, D. (1995) Semantics for some constructors of type theory. In: Behara, M., Fritsch, R. and Lintz, R. (eds.) Symposia Gaussiana, de Gruyter 201–224.
    • (1995) Symposia Gaussiana , pp. 201-224
    • Kristiansen, L.1    Normann, D.2
  • 21
    • 0031285720 scopus 로고    scopus 로고
    • Total objects in inductively defined types. Arch. Math. Logic
    • Kristiansen, L. and Normann, D. (1997) Total objects in inductively defined types. Arch. Math. Logic 36 405–436.
    • (1997) , pp. 405-436
    • Kristiansen, L.1    Normann, D.2
  • 22
    • 0031582016 scopus 로고    scopus 로고
    • Equational theories for inductive types. Annals of Pure and Applied Logic
    • Loader, R. (1997) Equational theories for inductive types. Annals of Pure and Applied Logic 84 175–217.
    • (1997) , pp. 175-217
    • Loader, R.1
  • 23
    • 0006133752 scopus 로고    scopus 로고
    • Longley, J. and Plotkin, G. (1998) Logical full abstraction and PCF. In: Ginzburg, J., Khasidashvili, Z., Vogel, C., Levy, J.-J. and Vallduvi, E. (eds.) Tbilisi Symposium on Logic, Language and Information: Selected Papers, CSLI 333–352.
    • (1998) Logical full abstraction and PCF , pp. 333-352
    • Longley, J.1    Plotkin, G.2
  • 24
    • 0000370796 scopus 로고
    • The hereditarily partial effective functionals and recursion theory in higher types. Journal of Symbolic Logic 49
    • Longo, G. and Moggi, E. (1984) The hereditarily partial effective functionals and recursion theory in higher types. Journal of Symbolic Logic 49 1319–1332.
    • (1984) , pp. 1319-1332
    • Longo, G.1    Moggi, E.2
  • 25
    • 0001862336 scopus 로고
    • Fully abstract models of typed 2-calculi. Theoretical Comp. Sci
    • Milner, R. (1977) Fully abstract models of typed 2-calculi. Theoretical Comp. Sci. 4 1–22.
    • (1977) , pp. 1-22
    • Milner, R.1
  • 26
    • 0003466440 scopus 로고    scopus 로고
    • Foundations for Programming Languages
    • MIT Press
    • Mitchell, J. (1996) Foundations for Programming Languages, MIT Press.
    • (1996)
    • Mitchell, J.1
  • 27
    • 85022759266 scopus 로고    scopus 로고
    • Hereditarily Sequential Functionals: A Game-Theoretic Approach to Sequentiality
    • Nickau, H. (1996) Hereditarily Sequential Functionals: A Game-Theoretic Approach to Sequentiality, Ph. D. Thesis, Department of Mathematics, Universitat Siegen, Siegen, Germany. Shaker Verlag.
    • (1996) Department of Mathematics, Universitat Siegen
    • Nickau, H.1
  • 30
    • 0031285144 scopus 로고    scopus 로고
    • Closing the gap between the continuous functionals and recursion in 3E. Arch. Math. Logic
    • Normann, D. (1997) Closing the gap between the continuous functionals and recursion in 3E. Arch. Math. Logic 36 269–287.
    • (1997) , pp. 269-287
    • Normann, D.1
  • 32
    • 0000889413 scopus 로고
    • Data types as lattices. SIAM J. Comput
    • Scott, D. (1976) Data types as lattices. SIAM J. Comput. 5 522–587.
    • (1976) , pp. 522-587
    • Scott, D.1
  • 33
    • 0027910876 scopus 로고
    • A type-theoretical alternative to CUCH, ISWIM and OWHY. In: Logic, Semantics and Theory of Programming
    • Scott, D. (1993) A type-theoretical alternative to CUCH, ISWIM and OWHY. In: Logic, Semantics and Theory of Programming. Theoretical Comp. Sci. 121 (1,2) 411–440.
    • (1993) Theoretical Comp. Sci. , pp. 411-440
    • Scott, D.1
  • 34
    • 0003751537 scopus 로고
    • Mathematical Theory of Domains
    • Cambridge University Press
    • Stoltenberg-Hansen, V., Lindstrom, I. and Griffor, E. R. (1994) Mathematical Theory of Domains, Cambridge University Press.
    • (1994)
    • Stoltenberg-Hansen, V.1    Lindstrom, I.2    Griffor, E.R.3
  • 35
    • 0026106479 scopus 로고
    • Interdefinability of parallel operations in PCF. Theoretical Comp. Sci
    • Stoughton, A. (1991) Interdefinability of parallel operations in PCF. Theoretical Comp. Sci. 79 357–358.
    • (1991) , pp. 357-358
    • Stoughton, A.1
  • 36
    • 0003714780 scopus 로고
    • Metamathematical Investigations of Intuitionistic Arithmetic and Analysis. Springer-Verlag Lecture Notes in Mathematics
    • Troelstra, A. S. (1973) Metamathematical Investigations of Intuitionistic Arithmetic and Analysis. Springer-Verlag Lecture Notes in Mathematics 344.
    • (1973)
    • Troelstra, A.S.1
  • 37
    • 0033477885 scopus 로고    scopus 로고
    • Denotational semantics for intuitionistic type theory using a hierarchy of domains with totality. To appear in
    • Waagbo, G. (1998) Denotational semantics for intuitionistic type theory using a hierarchy of domains with totality. To appear in Arch. Math. Logic.
    • (1998) Arch. Math. Logic.
    • Waagbo, G.1
  • 38
    • 0004273499 scopus 로고
    • The Formal Semantics of Programming Languages
    • MIT Press
    • Winskel, G. (1993) The Formal Semantics of Programming Languages, MIT Press.
    • (1993)
    • Winskel, G.1


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