JeanYves Girard

JeanYves Girard is the author of "Linear Logic in Computer Science", "Advances in Linear Logic", "Typed Lambda Calculi and Applications" and "Immortal Element".

Books by JeanYves Girard

Linear Logic in C...
Ehrhard Thomas
Electronic book text:

Proof Theory and ...
Girard, Jean-Yves
Hardback: $110.00

Typed Lambda Calc...
Goos G.
Paperback: $54.99

Linear Logic in C...
Ehrhard Thomas
Electronic book text:

Linear Logic in C...
Ruet Paul
Paperback:

Advances in Linea...
Girard Jean-Yves
Electronic book text:

Linear Logic in C...
Ehrhard, Thomas
Electronic book text: $150.00

Advances in Linea...
Girard Jean-Yves
Paperback:

Linear Logic in C...
Ruet Paul
Paperback: $99.99

Immortal Element
Girard, Jean-Yves
Paperback: $20.95

Linear Logic in C...
Ehrhard Thomas
Digital (delivered electronically):

Advances in Linea...
Girard Jean-Yves
Electronic book text: