Tag: Jean-Yves Girard

Proofs and Types (Cambridge Tracts in Theoretical Computer Science, Series Number 7) by Jean-Yves Girard (PDF)

Programming
  Ebook Info Published: 1989 Number of pages: 192 pages Format: PDF File Size: 0.82 MB Authors: Jean-Yves...
Read more

Advances in Linear Logic (London Mathematical Society Lecture Note Series, Series Number 222) 1st Edition by Jean-Yves Girard (PDF)

Combinatorics
  Ebook Info Published: 1995 Number of pages: 400 pages Format: PDF File Size: 3.36 MB Authors: Jean-Yves...
Read more

The Blind Spot: Lectures on Logic by Jean-Yves Girard (PDF)

Mathematical
  Ebook Info Published: 2011 Number of pages: 550 pages Format: PDF File Size: 3.26 MB Authors: Jean-Yves...
Read more

Typed Lambda Calculi and Applications: 4th International Conference, TLCA’99, L’Aquila, Italy, April 7-9, 1999, Proceedings (Lecture Notes in Computer Science, 1581) 1999th Edition by...

Programming
  Ebook Info Published: 1999 Number of pages: 412 pages Format: PDF File Size: 8.28 MB Authors: Jean-Yves...
Read more

Typed Lambda Calculi and Applications: 4th International Conference, TLCA’99, L’Aquila, Italy, April 7-9, 1999, Proceedings (Lecture Notes in Computer Science, 1581) by Jean-Yves Girard...

  Ebook Info Published: 2008 Number of pages: 412 pages Format: PDF File Size: 4.10 MB Authors: Jean-Yves...
Read more

Advertisement

spot_img