Searching for authors named "Georges Gonthier" – sorted by Relevance.
22 documents found, showing 1 through 10.
Next 10 →
-
Formal Proof—The Four- Color Theorem
- …Formal Proof—The Four- Color Theorem Georges Gonthier The Tale of a Brainteaser Francis Guthrie…
- Cited by 2 (0 self) – Add To MetaCart
-
A Hierarchy of Equivalences for Asynchronous Calculi
- …A Hierarchy of Equivalences for Asynchronous Calculi ? C edric Fournet a , Georges Gonthier b a…
- Cited by 42 (3 self) – Add To MetaCart
-
Using Stålmarck's algorithm to prove inequalities
- …Using St˚almarck’s algorithm to prove inequalities Byron Cook and Georges Gonthier Microsoft…
- Cited by 1 (1 self) – Add To MetaCart
-
The reflexive CHAM and the join-calculus
- …The reflexive CHAM and the join-calculus C'edric Fournet Georges Gonthier Cedric…
- Cited by 68 (0 self) – Add To MetaCart
-
The Geometry of Optimal Lambda Reduction
- …The geometry of optimal lambda reduction Georges Gonthier Mart'in Abadi y Jean-Jacques L…
- Add To MetaCart
-
A Top-Down Look at a Secure Message
- …A Top-Down Look at a Secure Message Martn Abadi 1 , Cedric Fournet 2 , and Georges Gonthier 3…
- Cited by 4 (1 self) – Add To MetaCart
-
An Abstract Standardisation Theorem
- …An abstract standardisation theorem Georges Gonthier Jean-Jacques L'evy Paul-Andr'e Melli…
- Cited by 23 (4 self) – Add To MetaCart
-
Secure Communications Processing for Distributed Languages
- … Research Center Compaq Cedric Fournet fournet@(email omitted); Microsoft Research Georges Gonthier…
- Cited by 17 (6 self) – Add To MetaCart
-
The Geometry of Optimal Lambda Reduction
- …The geometry of optimal lambda reduction Georges Gonthier Mart'in Abadi y Jean-Jacques L…
- Cited by 89 (2 self) – Add To MetaCart
-
Linear Logic Without Boxes
- …Linear Logic Without Boxes Georges Gonthier Mart'in Abadi y Jean-Jacques L'evy INRIA y…
- Cited by 49 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
