Switch to: Citations

References in:

Questions and answers–a category arising in linear logic, complexity theory, and set theory

In Jean-Yves Girard, Yves Lafont & Laurent Regnier (eds.), Advances in linear logic. New York, NY, USA: Cambridge University Press. pp. 222--61 (1995)

Add references

You must login to add references.
  1. al-Akhlāq: uṣūluhā al-dīnīyah wa-judhūruhā al-falsafīyah.Muḥammad ʻAlī Bārr - 2010 - Jiddah: Kursī Akhlāqīyāt al-Ṭibb.
    Download  
     
    Export citation  
     
    Bookmark   26 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