It looks like you're offline.
Donate
Change Website Language
Open Library logo
additional options menu
Last edited by RenameBot
August 20, 2008 | History
Edit

Jean-Yves Girard

We need a photo of Jean-Yves Girard

10 works Add another?

Sorting by Sorted by: Most Editions | First Published | Most Recent | Top Rated | Reading Log | Random

Showing all works by author. Would you like to see only ebooks?

  • Cover of: Linear logic in computer science

    First published in 2004 3 editions in 1 language — 1 previewable
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Advances in linear logic

    First published in 1995 3 editions in 1 language — 1 previewable
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Typed Lambda Calculi and Applications: 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings (Lecture Notes in Computer Science)

    First published in 1999 2 editions in 1 language — 1 previewable
    Read Listen

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Proof theory and logical complexity

    First published in 1987 2 editions in 1 language — 1 previewable
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Proof Theory Logical Complexity (Studies in Proof Theory)

    First published in 1987 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Machine de Turing

    First published in 1999 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: The blind spot: lectures on logic

    First published in 2011 1 edition in 1 language — 1 previewable
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Face à faces: Michel Courtemanche

    First published in 2018 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Immortal Element

    First published in 2018 1 edition
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
  • Cover of: Proofs and types

    First published in 1989 1 edition in 1 language — 1 previewable
    Not in Library

    My Reading Lists:

    Create a new list

    Check-In

    ×Close
    Add an optional check-in date. Check-in dates are used to track yearly reading goals.
    Today
We need a photo of Jean-Yves Girard

Subjects
Proof theory, Symbolic and mathematical Logic, Computer science, Congresses, Lambda calculus, Calculus, Category theory; homological algebra, Computer programming, Computer science, mathematics, Logic, Logic, symbolic and mathematical, Mathematical logic, Mathematical logic and foundations, Mathematics, Théorie de la preuve, Type theory

Lists

Add to List

My Reading Lists:

Create a new list

ID Numbers

  • OLID: OL961991A

Links (outside Open Library)

No links yet. Add one?

History

Download catalog record: RDF / JSON
August 20, 2008 Edited by RenameBot fix author name
April 1, 2008 Created by an anonymous user initial import