MPG.eBooks - Author Search Results

Jean-Yves Girard

Jean-Yves Girard (; born 1947) is a French logician working in proof theory. He is a research director (emeritus) at the mathematical institute of University of Aix-Marseille, at Luminy. Provided by Wikipedia

Cover Image

1

Typed Lambda Calculi and Applications : 4th International Conference, TLCA’99 L’Aquila, Italy, April 7–9, 1999 Proceedings

by Girard, Jean-Yves
Published 1999

Springer-Verlag Berlin Heidelberg

Cover Image

2

Typed Lambda Calculi and Applications : 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings

Published 1999

Springer Berlin Heidelberg

Other Authors: “...Girard, Jean-Yves...”

Cover Image

3

Advances in linear logic

Published 1995

Cambridge University Press

Other Authors: “...Girard, Jean-Yves...”