It looks like you're offline.
Donate
English (en) 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?

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

  • Cover of: Advances in linear logic

    First published in 1995 — 4 editions
    Locate

    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: Linear logic in computer science

    First published in 2004 — 4 editions
    Locate

    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
    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
    Locate

    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
    Locate

    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
    Locate

    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
    Locate

    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
    Locate

    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
    Locate

    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
    Locate

    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, Data processing, 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