Switch to: Citations

Add references

You must login to add references.
  1. Λ-definable functionals andβη conversion.R. Statman - 1983 - Archive for Mathematical Logic 23 (1):21-26.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Linear Logic.Jean-Yves Girard - 1987 - Theoretical Computer Science 50:1–102.
    Download  
     
    Export citation  
     
    Bookmark   127 citations  
  • Category theory for linear logicians.Richard Blute & Philip Scott - 2004 - In Thomas Ehrhard (ed.), Linear logic in computer science. New York: Cambridge University Press. pp. 316--3.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • The structure of multiplicatives.Vincent Danos & Laurent Regnier - 1989 - Archive for Mathematical Logic 28 (3):181-203.
    Investigating Girard's new propositionnal calculus which aims at a large scale study of computation, we stumble quickly on that question: What is a multiplicative connective? We give here a detailed answer together with our motivations and expectations.
    Download  
     
    Export citation  
     
    Bookmark   36 citations  
  • Completeness, invariance and λ-definability.R. Statman - 1982 - Journal of Symbolic Logic 47 (1):17-26.
    Download  
     
    Export citation  
     
    Bookmark   10 citations