Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Jean-Yves Girard | lit.salon

Author

Jean-Yves Girard

11 works

1987–2018 across 9 dated works

No biography is available yet.

Start with

Proof theory and logical complexity1987
Proofs and types1989
Advances in linear logic1995
With Yves Lafont
Typed Lambda Calculi and Applications: 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings (Lecture Notes in Computer Science)1999

Books

9 works

Featured (9)Featured (9)All (11)All (11)

Search booksSort books

Linear logic in computer science2004
With Philip Scott
4 editions
shelves
0
reviews
0
lists
0
quotes
0
Advances in linear logic1995
With Yves Lafont
4 editions
shelves
0
reviews
0
lists
0
quotes
0
Proof theory and logical complexity1987
2 editions
shelves
0
reviews
0
lists
0
quotes
0
Typed Lambda Calculi and Applications: 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings (Lecture Notes in Computer Science)1999
2 editions
shelves
0
reviews
0
lists
0
quotes
0
Proofs and types1989
1 edition
shelves
1
reviews
0
lists
0
quotes
0
The blind spot lectures on logic2011
1 edition
shelves
1
reviews
0
lists
0
quotes
0
Immortal Element2018
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Face à faces Michel Courtemanche2018
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Le fantôme de la transparence2016
1 edition
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around Jean-Yves Girard.

The conversation is still open.

There is no public salon activity to show for Jean-Yves Girard yet.