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

(Latest | Earliest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)

• 14:16, 29 April 2009 (diff | hist) N Computation and Deduction 2009/20090429 ‎ (Created page with '%{ Code from class, April 29. }% false : type. nat : type. %name nat N. 0 : nat. s : nat -> nat. lt : nat -> nat -> type. lt/0 : lt 0 (s N). lt/s : lt (s M) (s N) <- lt M ...') (top)
• 14:16, 29 April 2009 (diff | hist) Computation and Deduction 2009 ‎ (top)
• 11:10, 29 April 2009 (diff | hist) N Computation and Deduction 2009/20090427 ‎ (Created page with '%{ Code from class, April 27. }% false : type. nat : type. %name nat N. 0 : nat. s : nat -> nat. lt : nat -> nat -> type. lt/0 : lt 0 (s N). lt/s : lt (s M) (s N) <- lt M ...') (top)
• 14:38, 22 April 2009 (diff | hist) N Computation and Deduction 2009/20090422 ‎ (Created page with '%{ Code from class, April 22. }% false : type. nat : type. %name nat N. 0 : nat. s : nat -> nat. lt : nat -> nat -> type. lt/0 : lt 0 (s N). lt/s : lt (s M) (s N) <- lt M ...') (top)
• 14:37, 22 April 2009 (diff | hist) Computation and Deduction 2009 ‎
• 15:51, 20 April 2009 (diff | hist) N Computation and Deduction 2009/20090420 ‎ (Created page with '%{ Code from class, April 20. }% nat : type. %name nat N. 0 : nat. s : nat -> nat. lt : nat -> nat -> type. lt/0 : lt 0 (s N). lt/s : lt (s M) (s N) <- lt M N. lt-succ : {...') (top)
• 15:51, 20 April 2009 (diff | hist) Computation and Deduction 2009 ‎
• 16:12, 15 April 2009 (diff | hist) N Computation and Deduction 2009/20090415 ‎ (Created page with '%{ Code from class, April 15. }% nat : type. %name nat N. 0 : nat. s : nat -> nat. lt : nat -> nat -> type. lt/0 : lt 0 (s N). lt/s : lt (s M) (s N) <- lt M N. tp : type. ...') (top)
• 16:12, 15 April 2009 (diff | hist) Computation and Deduction 2009 ‎
• 22:48, 14 April 2009 (diff | hist) N Computation and Deduction 2009/20090413 ‎ (Created page with '%{ Code from class, April 13. }% tp : type. %name tp T. exp : type. %name exp E x. o : tp. arr : tp -> tp -> tp. p : exp. lam : tp -> (exp -> exp) -> exp. app : exp -> exp -...') (top)
• 22:48, 14 April 2009 (diff | hist) Computation and Deduction 2009 ‎
• 15:10, 11 April 2009 (diff | hist) N Computation and Deduction 2009/20090408 ‎ (Created page with '%{ Code from class, April 8. }% tp : type. %name tp A. tensor : tp -> tp -> tp. 1 : tp. with : tp -> tp -> tp. top : tp. plus : tp -> tp -> tp. 0 : tp. lolli : tp -> tp -> tp....') (top)
• 15:09, 11 April 2009 (diff | hist) Computation and Deduction 2009 ‎
• 13:33, 7 April 2009 (diff | hist) N Computation and Deduction 2009/20090406 ‎ (Created page with '%{ Code from class, April 6. }% tp : type. %name tp A. tensor : tp -> tp -> tp. 1 : tp. with : tp -> tp -> tp. top : tp. plus : tp -> tp -> tp. 0 : tp. lolli : tp -> tp -> tp....') (top)
• 14:38, 1 April 2009 (diff | hist) N Computation and Deduction 2009/20090401 ‎ (Created page with '%{ Code from class, April 1. }% tp : type. %name tp A. tensor : tp -> tp -> tp. 1 : tp. with : tp -> tp -> tp. top : tp. plus : tp -> tp -> tp. 0 : tp. lolli : tp -> tp -> tp....') (top)
• 14:36, 1 April 2009 (diff | hist) Computation and Deduction 2009 ‎
• 10:45, 1 April 2009 (diff | hist) N Computation and Deduction 2009/20090330 ‎ (Created page with '%{ Code from class, March 30. }% tp : type. tensor : tp -> tp -> tp. 1 : tp. with : tp -> tp -> tp. top : tp. plus : tp -> tp -> tp. 0 : tp. lolli : tp -> tp -> tp. ! : tp -> t...') (top)
• 10:45, 1 April 2009 (diff | hist) Computation and Deduction 2009 ‎
• 12:07, 26 March 2009 (diff | hist) N Computation and Deduction 2009/20090325 ‎ (Created page with '%{ Code from class, March 25. }% tp : type. tensor : tp -> tp -> tp. 1 : tp. with : tp -> tp -> tp. top : tp. plus : tp -> tp -> tp. 0 : tp. exp : type. tens : exp -> exp -> ...') (top)
• 12:07, 26 March 2009 (diff | hist) Computation and Deduction 2009 ‎
• 11:52, 23 March 2009 (diff | hist) N Computation and Deduction 2009/20090318 ‎ (Created page with '%{ Code from class, March 18. }% ttp : type. %name ttp T. tnum : ttp. tnot : ttp -> ttp. tprod : ttp -> ttp -> ttp. texp : type. %name texp E. tval : type. %name tval V. tlet...') (top)
• 11:52, 23 March 2009 (diff | hist) Computation and Deduction 2009 ‎
• 15:17, 17 March 2009 (diff | hist) N Computation and Deduction 2009/20090316 ‎ (Created page with '%{ Code from class, March 16. }% ttp : type. %name ttp T. tnum : ttp. tnot : ttp -> ttp. tprod : ttp -> ttp -> ttp. texp : type. %name texp E. tval : type. %name tval V. tlet...') (top)
• 12:45, 4 March 2009 (diff | hist) N Computation and Deduction 2009/20090203 ‎ (New page: %{ Code from class, March 2. }% ttp : type. %name ttp T. tnum : ttp. tnot : ttp -> ttp. tprod : ttp -> ttp -> ttp. texp : type. %name texp E. tval : type. %name tval V. tlet : tval -> ...) (top)
• 12:45, 4 March 2009 (diff | hist) Computation and Deduction 2009 ‎
• 16:43, 23 February 2009 (diff | hist) N Computation and Deduction 2009/20090223 ‎ (New page: %{ Code from class, February 23. }% ttp : type. %name ttp T. tnum : ttp. tnot : ttp -> ttp. tprod : ttp -> ttp -> ttp. texp : type. %name texp E. tval : type. %name tval V. tlet : tval...) (top)
• 20:44, 10 February 2009 (diff | hist) Computation and Deduction 2009/20090209 ‎ (top)
• 16:15, 16 October 2006 (diff | hist) Linear logic ‎
• 16:15, 16 October 2006 (diff | hist) What's new ‎
• 16:07, 16 October 2006 (diff | hist) m Linear logic ‎ (→Linearity)
• 16:06, 16 October 2006 (diff | hist) m Linear logic ‎
• 16:04, 16 October 2006 (diff | hist) m Linear logic ‎
• 16:01, 16 October 2006 (diff | hist) m Linear logic ‎
• 16:00, 16 October 2006 (diff | hist) Linear logic ‎
• 15:54, 16 October 2006 (diff | hist) Linear logic ‎
• 15:35, 16 October 2006 (diff | hist) Linear logic ‎
• 15:28, 16 October 2006 (diff | hist) Linear logic ‎
• 15:25, 16 October 2006 (diff | hist) Linear logic ‎
• 15:19, 16 October 2006 (diff | hist) Linear logic ‎
• 15:00, 16 October 2006 (diff | hist) m Linear logic ‎ (→Linearity)
• 14:57, 16 October 2006 (diff | hist) Linear logic ‎ (→Linearity)
• 14:55, 16 October 2006 (diff | hist) m Linear logic ‎
• 14:53, 16 October 2006 (diff | hist) m Linear logic ‎ (→Typing Rules)
• 14:52, 16 October 2006 (diff | hist) Linear logic ‎ (→Typing Rules)
• 14:49, 16 October 2006 (diff | hist) Linear logic ‎
• 14:29, 16 October 2006 (diff | hist) Linear logic ‎ (→Linearity)
• 14:26, 16 October 2006 (diff | hist) Linear logic ‎
• 14:24, 16 October 2006 (diff | hist) Linear logic ‎
• 14:20, 16 October 2006 (diff | hist) Linear logic ‎ (→Syntax)
• 14:19, 16 October 2006 (diff | hist) Linear logic ‎ (→Linearity)

(Latest | Earliest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)