User contributions

From Girard Reading Group

Search for contributions

 Show contributions of new accounts only
 IP address or username: Namespace: all (Main) Talk User User talk Girard Reading Group Girard Reading Group talk File File talk MediaWiki MediaWiki talk Template Template talk Help Help talk Category Category talk

From year (and earlier): From month (and earlier): all January February March April May June July August September October November December

• 18:40, 4 December 2007 (diff | hist) N Girard ‎ (Redirecting to Jean-Yves Girard) (top)
• 15:45, 4 December 2007 (diff | hist) LU ‎ (top)
• 15:44, 4 December 2007 (diff | hist) N LU ‎ (New page: A logic that has classical, intuitionistic, and linear logics as fragments. Detailed in "On the Unity of Logic" (see http://hal.inria.fr/action/open_file.php?url=http://hal.inria.fr/docs/...)
• 15:42, 4 December 2007 (diff | hist) Ludics ‎ (top)