7
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: not found
      • Article: not found

      A Filter Model for Concurrent $\lambda$-Calculus

      , ,

      SIAM Journal on Computing

      Society for Industrial & Applied Mathematics (SIAM)

      Read this article at

      ScienceOpenPublisher
      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Related collections

          Most cited references 31

          • Record: found
          • Abstract: not found
          • Article: not found

          LCF considered as a programming language

           G.D. Plotkin (1977)
            Bookmark
            • Record: found
            • Abstract: not found
            • Article: not found

            Functions as processes

             Robin Milner (1992)
              Bookmark
              • Record: found
              • Abstract: not found
              • Article: not found

              The Mechanical Evaluation of Expressions

               P. Landin (1964)
                Bookmark

                Author and article information

                Journal
                SIAM Journal on Computing
                SIAM J. Comput.
                Society for Industrial & Applied Mathematics (SIAM)
                0097-5397
                1095-7111
                October 1998
                October 1998
                : 27
                : 5
                : 1376-1419
                Article
                10.1137/S0097539794275860
                © 1998
                Product

                Comments

                Comment on this article