Switch to: Citations

Add references

You must login to add references.
  1. [product]ยน2-logic, Part 1: Dilators.Jean-Yves Girard - 1981 - Annals of Mathematical Logic 21 (2):75.
    Download  
     
    Export citation  
     
    Bookmark   51 citations  
  • (1 other version)Proof Theory and Logical Complexity.Helmut Pfeifer & Jean-Yves Girard - 1989 - Journal of Symbolic Logic 54 (4):1493.
    Download  
     
    Export citation  
     
    Bookmark   48 citations