User contributions

From The Twelf Project

Search for contributions

 Show contributions of new accounts only
 IP address or username: Namespace: all (Main) Talk User User talk The Twelf Project The Twelf Project talk File File talk MediaWiki MediaWiki talk Template Template talk Help Help talk Category Category talk Elves Elves talk Proving metatheorems Proving metatheorems talk

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

• 18:37, 6 December 2010 (diff | hist) ConstructiveSemantics ‎ (top)
• 18:36, 6 December 2010 (diff | hist) N ConstructiveSemantics ‎ (Created page with "A little proof of cut eliminiation for the logic FF in an unpublished paper by Reed and Pfenning. <twelf> % Termination metric lo : type. hi : type. * : lo. s : lo -> hi. % Sy...")
• 20:08, 25 February 2010 (diff | hist) Tethered modal logic ‎ (top)
• 11:54, 27 May 2009 (diff | hist) User:Jcreed/Sandbox ‎ (top)
• 17:10, 23 February 2009 (diff | hist) m Tethered modal logic ‎
• 17:06, 23 February 2009 (diff | hist) m Tethered modal logic ‎
• 17:05, 23 February 2009 (diff | hist) N Tethered modal logic ‎ (New page: %{ Alex Simpson's thesis shows how to encode a variety of constructive modal logics by making box and diamond into universal and existential quantifiers over accessible Kripke worlds and o...)
• 17:12, 17 November 2008 (diff | hist) N POPL Tutorial/cps ‎ (cps encoding)
• 14:18, 18 October 2007 (diff | hist) User talk:Jcreed ‎ (top)
• 14:15, 18 October 2007 (diff | hist) User talk:Jcreed ‎
• 12:53, 18 October 2007 (diff | hist) User talk:Jcreed ‎
• 17:11, 24 October 2006 (diff | hist) Talk:Classical S5 ‎
• 14:49, 24 October 2006 (diff | hist) Simplifying dynamic clauses ‎ (→Second Proof)
• 14:48, 24 October 2006 (diff | hist) Simplifying dynamic clauses ‎ (→Second Proof)
• 14:47, 24 October 2006 (diff | hist) Simplifying dynamic clauses ‎
• 14:47, 24 October 2006 (diff | hist) Simplifying dynamic clauses ‎ (→Example)
• 14:44, 24 October 2006 (diff | hist) Simplifying dynamic clauses ‎
• 14:38, 24 October 2006 (diff | hist) User talk:128.237.241.108 ‎ (top)
• 14:36, 24 October 2006 (diff | hist) N User:Jcreed ‎ (top)
• 14:32, 24 October 2006 (diff | hist) Simplifying dynamic clauses ‎ (→Solution)
• 14:31, 24 October 2006 (diff | hist) Simplifying dynamic clauses ‎
• 14:29, 24 October 2006 (diff | hist) Simplifying dynamic clauses ‎
• 14:19, 24 October 2006 (diff | hist) Simplifying dynamic clauses ‎
• 00:42, 13 October 2006 (diff | hist) User:Jcreed/Sandbox ‎
• 00:39, 13 October 2006 (diff | hist) N User:Jcreed/Sandbox ‎