Jean-Yves Girard – författare
Visar alla böcker från författaren Jean-Yves Girard. Handla med fri frakt och snabb leverans.
7 produkter
Advances in Linear Logic
Av Jean-Yves Girard, Jean-Yves Girard m. fl.
Häftad, 1995
1201 kr
Lägg i varukorg
Linear logic, introduced in 1986 by J.-Y. Girard, is based upon a fine grain analysis of the main proof-theoretical notions of logic. The subject develops along the lines of denotational semantics, proof nets and the geometry of interaction. Its basic dynamical nature has attracted computer …
Linear Logic in Computer Science
Av Thomas Ehrhard, Jean-Yves Girard m. fl.
Häftad, 2004
1469 kr
Lägg i varukorg
Linear logic is a branch of proof theory which provides refined tools for the study of the computational aspects of proofs. These tools include a duality-based categorical semantics, an intrinsic graphical representation of proofs, the introduction of well-behaved non-commutative logical …
Le Point Aveugle. Volume 1
Cours de Logique à Vers la Perfection
E-bok, 2006
468 kr
Lägg i varukorg
Ce livre est à la fois un cours de logique (théorie de la démonstration) et d''épistémologie des « fondements ». Il s''adresse aussi bien aux mathématiciens qu''aux informaticiens, aux philosophes qu''aux physiciens et aux linguistes. Il nous emmène du paradoxe de Gödel (l''incomplétude), des …
Le Point Aveugle. Volume 2
Cours de Logique à Vers l''Imperfection
E-bok, 2007
485 kr
Lägg i varukorg
Ce livre est à la fois un cours de logique (théorie de la démonstration) et d''épistémologie des "fondements". Il s''adresse aussi bien aux mathématiciens qu''aux informaticiens, aux philosophes qu''aux physiciens et aux linguistes. Le premier tome Vers la perfection s''achevait sur la logique …
Typed Lambda Calculi and Applications
4th International Conference, TLCA''99, L''Aquila, Italy, April 7-9, 1999, Proceedings
E-bok, 2003
718 kr
Lägg i varukorg
Typed Lambda Calculi and Applications
4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings
Häftad, 1999
550 kr
Lägg i varukorg
Thisvolumerepresents the proceedings ofthe Fourth International Conference onTypedLambdaCalculiandApplications,TLCA'99,heldinL'Aquila,on7-9 April1999. It contains25contributions. Fiftywere submitted, their overallqualitywas high, and selection was di?cult. The Programme Committee is very grateful …
Le Point Aveugle. Volume 2
Cours de Logique à Vers l''Imperfection
E-bok, 2007
485 kr
Lägg i varukorg
Ce livre est à la fois un cours de logique (théorie de la démonstration) et d''épistémologie des "fondements". Il s''adresse aussi bien aux mathématiciens qu''aux informaticiens, aux philosophes qu''aux physiciens et aux linguistes. Le premier tome Vers la perfection s''achevait sur la logique …
