For Publishers
DiscoveryMetadataPeer reviewHostingPublishing
For Researchers
JoinPublishReviewCollect
Register
Blog
About
Search
Advanced search
My ScienceOpen
Search
For Publishers
For Researchers
Blog
About
12
views
7
references
 Top references
cited by
15
    
0 reviews
 Review
0
comments
 Comment
0
recommends
+1 Recommend
0 collections
    0
    shares
      462
      similar
       All similar
      • Record: found
      • Abstract: not found
      • Article: not found

      The algebraic lambda calculus

      Author(s):
      Publication date (Electronic):
      Journal: Mathematical Structures in Computer Science
      Publisher: Cambridge University Press (CUP)

      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 references7

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

          Linear logic

          Jean-Yves Girard (1987)
          Article 0 comments Cited 472 times – based on 0 reviews     Review now
            Bookmark
            • Record: found
            • Abstract: not found
            • Article: not found

            The differential lambda-calculus

            Thomas Ehrhard, Laurent Regnier (2003)
            Article 0 comments Cited 63 times – based on 0 reviews     Review now
              Bookmark
              • Record: found
              • Abstract: not found
              • Article: not found

              Complete Sets of Reductions for Some Equational Theories

              Mark Stickel, Gerald Peterson (1981)
              Article 0 comments Cited 27 times – based on 0 reviews     Review now
                Bookmark
                All references

                Author and article information

                Journal
                Journal ID (publisher-id): applab
                Title: Mathematical Structures in Computer Science
                Abbreviated Title: Math. Struct. Comp. Sci.
                Publisher: Cambridge University Press (CUP)
                ISSN (Print): 0960-1295
                ISSN (Electronic): 1469-8072
                Publication date Created: October 2009
                Publication date (Electronic): August 24 2009
                Publication date (Print): October 2009
                Volume: 19
                Issue: 05
                Page: 1029
                Article
                DOI: 10.1017/S0960129509990089
                SO-VID: 34091294-8b96-4d6e-934b-2c907a26cc4b
                Copyright © © 2009
                History

                Data availability:

                Comments

                Comment on this article