Jean-Yves Girard | Bookhype

Nov 19, 2018

Cover of Immortal Element

Immortal Element

Jan 15, 2014

Cover of Typed Lambda Calculi and Applications

Typed Lambda Calculi and Applications

Jan 1, 2004

Cover of Linear Logic in Computer Science

Linear Logic in Computer Science

Mar 2, 1999

Cover of Machine de Turing(la)

Machine de Turing(la)

Oct 3, 1997

Cover of Th'or'me de Gdel(le)

Th'or'me de Gdel(le)

Mar 23, 1989

Cover of Proofs and Types

Proofs and Types (Cambridge Tracts in Theoretical Computer Science)