Hakutulokset: Jean-Yves Girard
yhteensä 12 hakutulosta
Ma vie dans le noir
Devenir aveugle : pour Marie-Christine comme pour quiconque, cette idée est inconcevable et terrifiante. C’est pourtant la sentence que la jeune femme de 30 ans reçoit au printemps …
Face à faces, Biographie de Michel Courtemanche
Juillet 1997. Michel Courtemanche a 32 ans et il trône au sommet. Premier humoriste québécois connu à l’étranger, il a conquis une bonne partie de l’Europe. La France l’a adopté et …
Le Point Aveugle. Volume 2
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, …
Immortal Element
A man with a tragic past is abducted by aliens and is offered a unique opportunity to save the doomed future of his world. But along the way, he falls in love with a beautiful but …
Typed Lambda Calculi and Applications
Advances in Linear Logic
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 …
Linear Logic in Computer Science
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 …
Typed Lambda Calculi and Applications
Thisvolumerepresents the proceedings ofthe Fourth International Conference onTypedLambdaCalculiandApplications,TLCA'99,heldinL'Aquila,on7-9 April1999. It contains25contributions. …
Immortal Element
Immortal Element by Jean-yves Girard[--------------------------------------------]
Linear Logic in Computer Science
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 …
Advances in Linear Logic
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 …
Le Point Aveugle. Volume 1
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, …