For Publishers
DiscoveryMetadataPeer reviewHostingPublishing
For Researchers
JoinPublishReviewCollect
Register
Blog
About
Search
Advanced search
My ScienceOpen
Search
For Publishers
For Researchers
Blog
About
21
views
23
references
 Top references
cited by
0
    
0 reviews
 Review
0
comments
 Comment
0
recommends
+1 Recommend
0 collections
    0
    shares
      123
      similar
       All similar
      • Record: found
      • Abstract: found
      • Article: found
      Is Open Access

      The Bang Calculus and the Two Girard's Translations

      Preprint
      Author(s): ,
      Publication date Created:

      Read this article at

      ScienceOpenPublisherArXiv
      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.

          Abstract

          We study the two Girard's translations of intuitionistic implication into linear logic by exploiting the bang calculus, a paradigmatic functional language with an explicit box-operator that allows both call-by-name and call-by-value lambda-calculi to be encoded in. We investigate how the bang calculus subsumes both call-by-name and call-by-value lambda-calculi from a syntactic and a semantic viewpoint.

          Related collections

          Most cited references23

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

          Computational interpretations of linear logic

          Samson Abramsky (1993)
          Article 0 comments Cited 52 times – based on 0 reviews     Review now
            Bookmark
            • Record: found
            • Abstract: not found
            • Conference Proceedings: not found

            Computational lambda-calculus and monads

            E. Moggi (2024)
            Article 0 comments Cited 25 times – based on 0 reviews
              Bookmark
              • Record: found
              • Abstract: not found
              • Article: not found

              Finiteness spaces

              THOMAS EHRHARD (2005)
              Article 0 comments Cited 24 times – based on 0 reviews     Review now
                Bookmark
                All references

                Author and article information

                Journal
                Publication date Created: 15 April 2019
                Article
                DOI: 10.4204/EPTCS.292.2
                ArXiV ID: 1904.06845
                SO-VID: 94004a64-3fe8-4caf-82a4-e53e6eaff49b
                License:

                http://arxiv.org/licenses/nonexclusive-distrib/1.0/

                History
                Custom metadata
                Journal reference EPTCS 292, 2019, pp. 15-30
                Comments In Proceedings Linearity-TLLA 2018, arXiv:1904.06159
                Categories cs.LO cs.DM cs.PL
                Proxy EPTCS

                ScienceOpen disciplines: Theoretical computer science,Programming languages,Discrete mathematics & Graph theory
                Data availability:
                ScienceOpen disciplines: Theoretical computer science, Programming languages, Discrete mathematics & Graph theory

                Comments

                Comment on this article