logo
Wrong email address or username
Wrong email address or username
Incorrect verification code

Jean-Yves Girard's Books back

language per page order
Advances in Linear Logic - Jean-Yves Girard
Advances in Linear Logic
by Jean-Yves Girard (author)
publisher: Cambridge University Press publish date: November 27th 2003
format: paperback pages: 400
language: English
ISBN: 0521559618 (9780521559614)
Typed Lambda Calculi and Applications: 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings (Lecture Notes in Computer Science) - Jean-Yves Girard
Typed Lambda Calculi and Applications: 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings (Lecture Notes in Computer Science)
by Jean-Yves Girard (author)
publisher: Springer publish date: June 13th 2008
format: kindle pages: 397
language: English
ASIN: B000W6F9NK
Proofs and Types - Jean-Yves Girard, Yves LaFont, Paul Taylor
Proofs and Types
by Jean-Yves Girard (author), Paul Taylor (author), Yves LaFont (author)
publisher: Cambridge University Press publish date: April 28th 1989
format: hardcover pages: 192
language: English
ISBN: 0521371813 (9780521371810)
Linear Logic in Computer Science - Thomas Ehrhard, Jean-Yves Girard, Paul Ruet
Linear Logic in Computer Science
by Jean-Yves Girard (author), Paul Ruet (author), Thomas Ehrhard (author)
publisher: Cambridge University Press publish date: January 1st 2004
format: ebook pages: 393
ISBN: 1299405177 (9781299405172)
Proof Theory And Logical Complexity: Volume I (Studies In Proof Theory) - Jean-Yves Girard
Proof Theory And Logical Complexity: Volume I (Studies In Proof Theory)
by Jean-Yves Girard (author)
publisher: Elsevier Science & Technology
format: hardcover pages: 504
language: English
ISBN: 0444987150 (9780444987150)
Typed Lambda Calculi and Applications: 4th International Conference, Tlca'99, L'Aquila, Italy, April 7-9, 1999, Proceedings - Jean-Yves Girard
Typed Lambda Calculi and Applications: 4th International Conference, Tlca'99, L'Aquila, Italy, April 7-9, 1999, Proceedings
by Jean-Yves Girard (author)
publisher: Springer publish date: March 24th 1999
format: paperback pages: 404
language: English
ISBN: 3540657630 (9783540657637)
Copyright © 2024 BookLikes Press About Terms of Services Privacy Policy Contact Us Blog FAQ Patronaty medialne BookLikes for Authors Partners panel Team Themes Docs API Blogs
Need help?
Important: Our sites use cookies. We use the information stored using cookies and similar technologies for advertising and statistics purposes. Stored data allow us to tailor the websites to individual user's interests. Cookies may be also used by third parties cooperating with BookLikes, like advertisers, research companies and providers of multimedia applications. You can choose how cookies are handled by your device via your browser settings. If you choose not to receive cookies at any time, BookLikes will not function properly and certain services will not be provided. For more information, please go to our Privacy Policy.