Recent page changes from site "The Syntactic Century" (a Wikidot site) http://syntax.wikidot.com Wed, 19 Jun 2013 20:09:35 +0000 http://syntax.wikidot.com/resources#revision-8622781 "Resources" - source change http://syntax.wikidot.com/resources Page: <a href="http://syntax.wikidot.com/resources">Resources</a> (resources)<br/>Current revision number: 20<br/>Date changed: Mon, 02 Mar 2009 13:53:28 +0000<br/>Change type: source change<br/>By: <span class="printuser"><a href="http://www.wikidot.com/user:info/gar" onclick="WIKIDOT.page.listeners.userInfo(21583); return false;" >gar</a></span><br/><br/>Page content preview: <br/>FoldUnfold Table of Contents Category Theory Computability Lambda Calculus (and Recursion) Type Theory Denotational Semantics Z Specification Language Implementation Computability... Mon, 02 Mar 2009 13:53:28 +0000 Resources (resources)
Current revision number: 20
Date changed: Mon, 02 Mar 2009 13:53:28 +0000
Change type: source change
By: gar

Page content preview:
FoldUnfold Table of Contents Category Theory Computability Lambda Calculus (and Recursion) Type Theory Denotational Semantics Z Specification Language Implementation Computability... ]]> http://syntax.wikidot.com/blog:11#revision-8608483 "Turing's Euclidean Stroke of Genius" - source change http://syntax.wikidot.com/blog:11 Page: <a href="http://syntax.wikidot.com/blog:11">Turing's Euclidean Stroke of Genius</a> (blog:11)<br/>Current revision number: 1<br/>Date changed: Sun, 01 Mar 2009 17:10:33 +0000<br/>Change type: source change<br/>By: <span class="printuser"><a href="http://www.wikidot.com/user:info/gar" onclick="WIKIDOT.page.listeners.userInfo(21583); return false;" >gar</a></span><br/><br/>Page content preview: <br/>Blog » Turing's Euclidean Stroke of Genius Posted on 1235926235|%A: %d %B, %Y|agohover Everybody knows Alan Turing was the father of the computer. What is less appreciated is that Turing stands... Sun, 01 Mar 2009 17:10:33 +0000 Turing's Euclidean Stroke of Genius (blog:11)
Current revision number: 1
Date changed: Sun, 01 Mar 2009 17:10:33 +0000
Change type: source change
By: gar

Page content preview:
Blog » Turing's Euclidean Stroke of Genius Posted on 1235926235|%A: %d %B, %Y|agohover Everybody knows Alan Turing was the father of the computer. What is less appreciated is that Turing stands... ]]> http://syntax.wikidot.com/blog:11#revision-8608156 "Turing's Euclidean Stroke of Genius" - new page http://syntax.wikidot.com/blog:11 Page: <a href="http://syntax.wikidot.com/blog:11">Turing's Euclidean Stroke of Genius</a> (blog:11)<br/>Current revision number: 0<br/>Date changed: Sun, 01 Mar 2009 16:50:35 +0000<br/>Change type: new page<br/>By: <span class="printuser"><a href="http://www.wikidot.com/user:info/gar" onclick="WIKIDOT.page.listeners.userInfo(21583); return false;" >gar</a></span><br/><br/>Page content preview: <br/>Blog » Turing's Euclidean Stroke of Genius Posted on 1235926235|%A: %d %B, %Y|agohover Everybody knows Alan Turing was the father of the computer. What is less appreciated is that Turing stands... Sun, 01 Mar 2009 16:50:35 +0000 Turing's Euclidean Stroke of Genius (blog:11)
Current revision number: 0
Date changed: Sun, 01 Mar 2009 16:50:35 +0000
Change type: new page
By: gar

Page content preview:
Blog » Turing's Euclidean Stroke of Genius Posted on 1235926235|%A: %d %B, %Y|agohover Everybody knows Alan Turing was the father of the computer. What is less appreciated is that Turing stands... ]]> http://syntax.wikidot.com/blog:10#revision-8476639 "Performance Economics" - new page http://syntax.wikidot.com/blog:10 Page: <a href="http://syntax.wikidot.com/blog:10">Performance Economics</a> (blog:10)<br/>Current revision number: 0<br/>Date changed: Sat, 21 Feb 2009 12:00:32 +0000<br/>Change type: new page<br/>By: <span class="printuser"><a href="http://www.wikidot.com/user:info/gar" onclick="WIKIDOT.page.listeners.userInfo(21583); return false;" >gar</a></span><br/><br/>Page content preview: <br/>Blog » Performance Economics Posted on 1235217632|%A: %d %B, %Y|agohover Another cooked-up performance &quot;controversy&quot; is bubbling on the haskell-cafe mailng list: is gcc a... Sat, 21 Feb 2009 12:00:32 +0000 Performance Economics (blog:10)
Current revision number: 0
Date changed: Sat, 21 Feb 2009 12:00:32 +0000
Change type: new page
By: gar

Page content preview:
Blog » Performance Economics Posted on 1235217632|%A: %d %B, %Y|agohover Another cooked-up performance "controversy" is bubbling on the haskell-cafe mailng list: is gcc a... ]]> http://syntax.wikidot.com/resources#revision-8423250 "Resources" - source change http://syntax.wikidot.com/resources Page: <a href="http://syntax.wikidot.com/resources">Resources</a> (resources)<br/>Current revision number: 19<br/>Date changed: Wed, 18 Feb 2009 11:41:51 +0000<br/>Change type: source change<br/>By: <span class="printuser"><a href="http://www.wikidot.com/user:info/gar" onclick="WIKIDOT.page.listeners.userInfo(21583); return false;" >gar</a></span><br/><br/>Page content preview: <br/>FoldUnfold Table of Contents Category Theory Computability Lambda Calculus (and Recursion) Type Theory Denotational Semantics Z Specification Language Implementation Computability... Wed, 18 Feb 2009 11:41:51 +0000 Resources (resources)
Current revision number: 19
Date changed: Wed, 18 Feb 2009 11:41:51 +0000
Change type: source change
By: gar

Page content preview:
FoldUnfold Table of Contents Category Theory Computability Lambda Calculus (and Recursion) Type Theory Denotational Semantics Z Specification Language Implementation Computability... ]]> http://syntax.wikidot.com/resources#revision-8423242 "Resources" - source change http://syntax.wikidot.com/resources Page: <a href="http://syntax.wikidot.com/resources">Resources</a> (resources)<br/>Current revision number: 18<br/>Date changed: Wed, 18 Feb 2009 11:41:03 +0000<br/>Change type: source change<br/>By: <span class="printuser"><a href="http://www.wikidot.com/user:info/gar" onclick="WIKIDOT.page.listeners.userInfo(21583); return false;" >gar</a></span><br/><br/>Page content preview: <br/>FoldUnfold Table of Contents Category Theory Computability Lambda Calculus (and Recursion) Type Theory Denotational Semantics Z Specification Language Implementation Computability... Wed, 18 Feb 2009 11:41:03 +0000 Resources (resources)
Current revision number: 18
Date changed: Wed, 18 Feb 2009 11:41:03 +0000
Change type: source change
By: gar

Page content preview:
FoldUnfold Table of Contents Category Theory Computability Lambda Calculus (and Recursion) Type Theory Denotational Semantics Z Specification Language Implementation Computability... ]]> http://syntax.wikidot.com/resources#revision-8423061 "Resources" - source change http://syntax.wikidot.com/resources Page: <a href="http://syntax.wikidot.com/resources">Resources</a> (resources)<br/>Current revision number: 17<br/>Date changed: Wed, 18 Feb 2009 11:23:53 +0000<br/>Change type: source change<br/>By: <span class="printuser"><a href="http://www.wikidot.com/user:info/gar" onclick="WIKIDOT.page.listeners.userInfo(21583); return false;" >gar</a></span><br/><br/>Page content preview: <br/>FoldUnfold Table of Contents Category Theory Computability Lambda Calculus (and Recursion) Type Theory Denotational Semantics Z Specification Language Implementation Computability... Wed, 18 Feb 2009 11:23:53 +0000 Resources (resources)
Current revision number: 17
Date changed: Wed, 18 Feb 2009 11:23:53 +0000
Change type: source change
By: gar

Page content preview:
FoldUnfold Table of Contents Category Theory Computability Lambda Calculus (and Recursion) Type Theory Denotational Semantics Z Specification Language Implementation Computability... ]]> http://syntax.wikidot.com/resources#revision-8422945 "Resources" - source change http://syntax.wikidot.com/resources Page: <a href="http://syntax.wikidot.com/resources">Resources</a> (resources)<br/>Current revision number: 16<br/>Date changed: Wed, 18 Feb 2009 11:09:52 +0000<br/>Change type: source change<br/>By: <span class="printuser"><a href="http://www.wikidot.com/user:info/gar" onclick="WIKIDOT.page.listeners.userInfo(21583); return false;" >gar</a></span><br/><br/>Page content preview: <br/>FoldUnfold Table of Contents Category Theory Computability Lambda Calculus (and Recursion) Type Theory Denotational Semantics Z Specification Language Implementation Computability... Wed, 18 Feb 2009 11:09:52 +0000 Resources (resources)
Current revision number: 16
Date changed: Wed, 18 Feb 2009 11:09:52 +0000
Change type: source change
By: gar

Page content preview:
FoldUnfold Table of Contents Category Theory Computability Lambda Calculus (and Recursion) Type Theory Denotational Semantics Z Specification Language Implementation Computability... ]]> http://syntax.wikidot.com/resources#revision-8422934 "Resources" - source change http://syntax.wikidot.com/resources Page: <a href="http://syntax.wikidot.com/resources">Resources</a> (resources)<br/>Current revision number: 15<br/>Date changed: Wed, 18 Feb 2009 11:08:48 +0000<br/>Change type: source change<br/>By: <span class="printuser"><a href="http://www.wikidot.com/user:info/gar" onclick="WIKIDOT.page.listeners.userInfo(21583); return false;" >gar</a></span><br/><br/>Page content preview: <br/>FoldUnfold Table of Contents Category Theory Computability Lambda Calculus (and Recursion) Type Theory Denotational Semantics Z Specification Language Implementation Computability... Wed, 18 Feb 2009 11:08:48 +0000 Resources (resources)
Current revision number: 15
Date changed: Wed, 18 Feb 2009 11:08:48 +0000
Change type: source change
By: gar

Page content preview:
FoldUnfold Table of Contents Category Theory Computability Lambda Calculus (and Recursion) Type Theory Denotational Semantics Z Specification Language Implementation Computability... ]]> http://syntax.wikidot.com/resources#revision-8422713 "Resources" - source change http://syntax.wikidot.com/resources Page: <a href="http://syntax.wikidot.com/resources">Resources</a> (resources)<br/>Current revision number: 14<br/>Date changed: Wed, 18 Feb 2009 10:46:31 +0000<br/>Change type: source change<br/>By: <span class="printuser"><a href="http://www.wikidot.com/user:info/gar" onclick="WIKIDOT.page.listeners.userInfo(21583); return false;" >gar</a></span><br/><br/>Page content preview: <br/>FoldUnfold Table of Contents Category Theory Computability Lambda Calculus (and Recursion) Type Theory Denotational Semantics Z Specification Language Implementation Computability... Wed, 18 Feb 2009 10:46:31 +0000 Resources (resources)
Current revision number: 14
Date changed: Wed, 18 Feb 2009 10:46:31 +0000
Change type: source change
By: gar

Page content preview:
FoldUnfold Table of Contents Category Theory Computability Lambda Calculus (and Recursion) Type Theory Denotational Semantics Z Specification Language Implementation Computability... ]]> http://syntax.wikidot.com/resources#revision-8422669 "Resources" - source change http://syntax.wikidot.com/resources Page: <a href="http://syntax.wikidot.com/resources">Resources</a> (resources)<br/>Current revision number: 13<br/>Date changed: Wed, 18 Feb 2009 10:41:43 +0000<br/>Change type: source change<br/>By: <span class="printuser"><a href="http://www.wikidot.com/user:info/gar" onclick="WIKIDOT.page.listeners.userInfo(21583); return false;" >gar</a></span><br/><br/>Page content preview: <br/>FoldUnfold Table of Contents Category Theory Computability Lambda Calculus (and Recursion) Type Theory Denotational Semantics Z Specification Language Implementation Computability... Wed, 18 Feb 2009 10:41:43 +0000 Resources (resources)
Current revision number: 13
Date changed: Wed, 18 Feb 2009 10:41:43 +0000
Change type: source change
By: gar

Page content preview:
FoldUnfold Table of Contents Category Theory Computability Lambda Calculus (and Recursion) Type Theory Denotational Semantics Z Specification Language Implementation Computability... ]]> http://syntax.wikidot.com/resources#revision-8422631 "Resources" - source change http://syntax.wikidot.com/resources Page: <a href="http://syntax.wikidot.com/resources">Resources</a> (resources)<br/>Current revision number: 12<br/>Date changed: Wed, 18 Feb 2009 10:39:02 +0000<br/>Change type: source change<br/>By: <span class="printuser"><a href="http://www.wikidot.com/user:info/gar" onclick="WIKIDOT.page.listeners.userInfo(21583); return false;" >gar</a></span><br/><br/>Page content preview: <br/>FoldUnfold Table of Contents Category Theory Computability Lambda Calculus (and Recursion) Type Theory Denotational Semantics Z Specification Language Implementation Computability... Wed, 18 Feb 2009 10:39:02 +0000 Resources (resources)
Current revision number: 12
Date changed: Wed, 18 Feb 2009 10:39:02 +0000
Change type: source change
By: gar

Page content preview:
FoldUnfold Table of Contents Category Theory Computability Lambda Calculus (and Recursion) Type Theory Denotational Semantics Z Specification Language Implementation Computability... ]]> http://syntax.wikidot.com/resources#revision-8422588 "Resources" - source change http://syntax.wikidot.com/resources Page: <a href="http://syntax.wikidot.com/resources">Resources</a> (resources)<br/>Current revision number: 11<br/>Date changed: Wed, 18 Feb 2009 10:34:12 +0000<br/>Change type: source change<br/>By: <span class="printuser"><a href="http://www.wikidot.com/user:info/gar" onclick="WIKIDOT.page.listeners.userInfo(21583); return false;" >gar</a></span><br/><br/>Page content preview: <br/>FoldUnfold Table of Contents Category Theory Computability Lambda Calculus (and Recursion) Type Theory Denotational Semantics Z Specification Language Implementation Computability... Wed, 18 Feb 2009 10:34:12 +0000 Resources (resources)
Current revision number: 11
Date changed: Wed, 18 Feb 2009 10:34:12 +0000
Change type: source change
By: gar

Page content preview:
FoldUnfold Table of Contents Category Theory Computability Lambda Calculus (and Recursion) Type Theory Denotational Semantics Z Specification Language Implementation Computability... ]]> http://syntax.wikidot.com/resources#revision-8422569 "Resources" - source change http://syntax.wikidot.com/resources Page: <a href="http://syntax.wikidot.com/resources">Resources</a> (resources)<br/>Current revision number: 10<br/>Date changed: Wed, 18 Feb 2009 10:33:11 +0000<br/>Change type: source change<br/>By: <span class="printuser"><a href="http://www.wikidot.com/user:info/gar" onclick="WIKIDOT.page.listeners.userInfo(21583); return false;" >gar</a></span><br/><br/>Page content preview: <br/>FoldUnfold Table of Contents Category Theory Computability Lambda Calculus (and Recursion) Type Theory Denotational Semantics Z Specification Language Implementation Computability... Wed, 18 Feb 2009 10:33:11 +0000 Resources (resources)
Current revision number: 10
Date changed: Wed, 18 Feb 2009 10:33:11 +0000
Change type: source change
By: gar

Page content preview:
FoldUnfold Table of Contents Category Theory Computability Lambda Calculus (and Recursion) Type Theory Denotational Semantics Z Specification Language Implementation Computability... ]]> http://syntax.wikidot.com/resources#revision-8422526 "Resources" - source change http://syntax.wikidot.com/resources Page: <a href="http://syntax.wikidot.com/resources">Resources</a> (resources)<br/>Current revision number: 9<br/>Date changed: Wed, 18 Feb 2009 10:30:08 +0000<br/>Change type: source change<br/>By: <span class="printuser"><a href="http://www.wikidot.com/user:info/gar" onclick="WIKIDOT.page.listeners.userInfo(21583); return false;" >gar</a></span><br/><br/>Page content preview: <br/>FoldUnfold Table of Contents Category Theory Computability Lambda Calculus (and Recursion) Type Theory Denotational Semantics Z Specification Language Implementation Computability... Wed, 18 Feb 2009 10:30:08 +0000 Resources (resources)
Current revision number: 9
Date changed: Wed, 18 Feb 2009 10:30:08 +0000
Change type: source change
By: gar

Page content preview:
FoldUnfold Table of Contents Category Theory Computability Lambda Calculus (and Recursion) Type Theory Denotational Semantics Z Specification Language Implementation Computability... ]]> http://syntax.wikidot.com/resources#revision-8422366 "Resources" - source change http://syntax.wikidot.com/resources Page: <a href="http://syntax.wikidot.com/resources">Resources</a> (resources)<br/>Current revision number: 8<br/>Date changed: Wed, 18 Feb 2009 10:17:34 +0000<br/>Change type: source change<br/>By: <span class="printuser"><a href="http://www.wikidot.com/user:info/gar" onclick="WIKIDOT.page.listeners.userInfo(21583); return false;" >gar</a></span><br/><br/>Page content preview: <br/>FoldUnfold Table of Contents Category Theory Computability Lambda Calculus (and Recursion) Type Theory Denotational Semantics Z Specification Language Implementation Computability... Wed, 18 Feb 2009 10:17:34 +0000 Resources (resources)
Current revision number: 8
Date changed: Wed, 18 Feb 2009 10:17:34 +0000
Change type: source change
By: gar

Page content preview:
FoldUnfold Table of Contents Category Theory Computability Lambda Calculus (and Recursion) Type Theory Denotational Semantics Z Specification Language Implementation Computability... ]]> http://syntax.wikidot.com/resources#revision-8422296 "Resources" - source change http://syntax.wikidot.com/resources Page: <a href="http://syntax.wikidot.com/resources">Resources</a> (resources)<br/>Current revision number: 7<br/>Date changed: Wed, 18 Feb 2009 10:12:32 +0000<br/>Change type: source change<br/>By: <span class="printuser"><a href="http://www.wikidot.com/user:info/gar" onclick="WIKIDOT.page.listeners.userInfo(21583); return false;" >gar</a></span><br/><br/>Page content preview: <br/>FoldUnfold Table of Contents Category Theory Computability Lambda Calculus (and Recursion) Type Theory Denotational Semantics Z Specification Language Implementation Computability... Wed, 18 Feb 2009 10:12:32 +0000 Resources (resources)
Current revision number: 7
Date changed: Wed, 18 Feb 2009 10:12:32 +0000
Change type: source change
By: gar

Page content preview:
FoldUnfold Table of Contents Category Theory Computability Lambda Calculus (and Recursion) Type Theory Denotational Semantics Z Specification Language Implementation Computability... ]]> http://syntax.wikidot.com/resources#revision-8414701 "Resources" - source change http://syntax.wikidot.com/resources Page: <a href="http://syntax.wikidot.com/resources">Resources</a> (resources)<br/>Current revision number: 6<br/>Date changed: Tue, 17 Feb 2009 21:23:10 +0000<br/>Change type: source change<br/>By: <span class="printuser"><a href="http://www.wikidot.com/user:info/gar" onclick="WIKIDOT.page.listeners.userInfo(21583); return false;" >gar</a></span><br/><br/>Page content preview: <br/>FoldUnfold Table of Contents Category Theory Computability Lambda Calculus (and Recursion) Type Theory Denotational Semantics Z Specification Language Implementation Computability... Tue, 17 Feb 2009 21:23:10 +0000 Resources (resources)
Current revision number: 6
Date changed: Tue, 17 Feb 2009 21:23:10 +0000
Change type: source change
By: gar

Page content preview:
FoldUnfold Table of Contents Category Theory Computability Lambda Calculus (and Recursion) Type Theory Denotational Semantics Z Specification Language Implementation Computability... ]]> http://syntax.wikidot.com/resources#revision-8414406 "Resources" - source change http://syntax.wikidot.com/resources Page: <a href="http://syntax.wikidot.com/resources">Resources</a> (resources)<br/>Current revision number: 5<br/>Date changed: Tue, 17 Feb 2009 20:59:59 +0000<br/>Change type: source change<br/>By: <span class="printuser"><a href="http://www.wikidot.com/user:info/gar" onclick="WIKIDOT.page.listeners.userInfo(21583); return false;" >gar</a></span><br/><br/>Page content preview: <br/>FoldUnfold Table of Contents Category Theory Computability Lambda Calculus (and Recursion) Type Theory Denotational Semantics Z Specification Language Implementation Computability... Tue, 17 Feb 2009 20:59:59 +0000 Resources (resources)
Current revision number: 5
Date changed: Tue, 17 Feb 2009 20:59:59 +0000
Change type: source change
By: gar

Page content preview:
FoldUnfold Table of Contents Category Theory Computability Lambda Calculus (and Recursion) Type Theory Denotational Semantics Z Specification Language Implementation Computability... ]]> http://syntax.wikidot.com/resources#revision-8414337 "Resources" - source change http://syntax.wikidot.com/resources Page: <a href="http://syntax.wikidot.com/resources">Resources</a> (resources)<br/>Current revision number: 4<br/>Date changed: Tue, 17 Feb 2009 20:54:31 +0000<br/>Change type: source change<br/>By: <span class="printuser"><a href="http://www.wikidot.com/user:info/gar" onclick="WIKIDOT.page.listeners.userInfo(21583); return false;" >gar</a></span><br/><br/>Page content preview: <br/>FoldUnfold Table of Contents Category Theory Computability Lambda Calculus (and Recursion) Type Theory Denotational Semantics Z Specification Language Implementation Computability... Tue, 17 Feb 2009 20:54:31 +0000 Resources (resources)
Current revision number: 4
Date changed: Tue, 17 Feb 2009 20:54:31 +0000
Change type: source change
By: gar

Page content preview:
FoldUnfold Table of Contents Category Theory Computability Lambda Calculus (and Recursion) Type Theory Denotational Semantics Z Specification Language Implementation Computability... ]]> http://syntax.wikidot.com/resources#revision-8414232 "Resources" - source change http://syntax.wikidot.com/resources Page: <a href="http://syntax.wikidot.com/resources">Resources</a> (resources)<br/>Current revision number: 3<br/>Date changed: Tue, 17 Feb 2009 20:50:13 +0000<br/>Change type: source change<br/>By: <span class="printuser"><a href="http://www.wikidot.com/user:info/gar" onclick="WIKIDOT.page.listeners.userInfo(21583); return false;" >gar</a></span><br/><br/>Page content preview: <br/>FoldUnfold Table of Contents Category Theory Computability Lambda Calculus (and Recursion) Type Theory Denotational Semantics Z Specification Language Implementation Computability... Tue, 17 Feb 2009 20:50:13 +0000 Resources (resources)
Current revision number: 3
Date changed: Tue, 17 Feb 2009 20:50:13 +0000
Change type: source change
By: gar

Page content preview:
FoldUnfold Table of Contents Category Theory Computability Lambda Calculus (and Recursion) Type Theory Denotational Semantics Z Specification Language Implementation Computability... ]]> http://syntax.wikidot.com/resources#revision-8413845 "Resources" - source change http://syntax.wikidot.com/resources Page: <a href="http://syntax.wikidot.com/resources">Resources</a> (resources)<br/>Current revision number: 2<br/>Date changed: Tue, 17 Feb 2009 20:31:11 +0000<br/>Change type: source change<br/>By: <span class="printuser"><a href="http://www.wikidot.com/user:info/gar" onclick="WIKIDOT.page.listeners.userInfo(21583); return false;" >gar</a></span><br/><br/>Page content preview: <br/>FoldUnfold Table of Contents Category Theory Computability Lambda Calculus (and Recursion) Type Theory Denotational Semantics Z Specification Language Implementation Computability... Tue, 17 Feb 2009 20:31:11 +0000 Resources (resources)
Current revision number: 2
Date changed: Tue, 17 Feb 2009 20:31:11 +0000
Change type: source change
By: gar

Page content preview:
FoldUnfold Table of Contents Category Theory Computability Lambda Calculus (and Recursion) Type Theory Denotational Semantics Z Specification Language Implementation Computability... ]]> http://syntax.wikidot.com/resources#revision-8413609 "Resources" - source change http://syntax.wikidot.com/resources Page: <a href="http://syntax.wikidot.com/resources">Resources</a> (resources)<br/>Current revision number: 1<br/>Date changed: Tue, 17 Feb 2009 20:18:22 +0000<br/>Change type: source change<br/>By: <span class="printuser"><a href="http://www.wikidot.com/user:info/gar" onclick="WIKIDOT.page.listeners.userInfo(21583); return false;" >gar</a></span><br/><br/>Page content preview: <br/>FoldUnfold Table of Contents Category Theory Computability Lambda Calculus (and Recursion) Type Theory Denotational Semantics Z Specification Language Implementation Computability... Tue, 17 Feb 2009 20:18:22 +0000 Resources (resources)
Current revision number: 1
Date changed: Tue, 17 Feb 2009 20:18:22 +0000
Change type: source change
By: gar

Page content preview:
FoldUnfold Table of Contents Category Theory Computability Lambda Calculus (and Recursion) Type Theory Denotational Semantics Z Specification Language Implementation Computability... ]]> http://syntax.wikidot.com/resources#revision-8413542 "Resources" - new page http://syntax.wikidot.com/resources Page: <a href="http://syntax.wikidot.com/resources">Resources</a> (resources)<br/>Current revision number: 0<br/>Date changed: Tue, 17 Feb 2009 20:15:51 +0000<br/>Change type: new page<br/>By: <span class="printuser"><a href="http://www.wikidot.com/user:info/gar" onclick="WIKIDOT.page.listeners.userInfo(21583); return false;" >gar</a></span><br/><br/>Page content preview: <br/>FoldUnfold Table of Contents Category Theory Computability Lambda Calculus (and Recursion) Type Theory Denotational Semantics Z Specification Language Implementation Computability... Tue, 17 Feb 2009 20:15:51 +0000 Resources (resources)
Current revision number: 0
Date changed: Tue, 17 Feb 2009 20:15:51 +0000
Change type: new page
By: gar

Page content preview:
FoldUnfold Table of Contents Category Theory Computability Lambda Calculus (and Recursion) Type Theory Denotational Semantics Z Specification Language Implementation Computability... ]]> http://syntax.wikidot.com/start#revision-8413520 "Start" - source change http://syntax.wikidot.com/start Page: <a href="http://syntax.wikidot.com/start">Start</a> (start)<br/>Current revision number: 4<br/>Date changed: Tue, 17 Feb 2009 20:14:39 +0000<br/>Change type: source change<br/>By: <span class="printuser"><a href="http://www.wikidot.com/user:info/gar" onclick="WIKIDOT.page.listeners.userInfo(21583); return false;" >gar</a></span><br/><br/>Page content preview: <br/>blog resources Tue, 17 Feb 2009 20:14:39 +0000 Start (start)
Current revision number: 4
Date changed: Tue, 17 Feb 2009 20:14:39 +0000
Change type: source change
By: gar

Page content preview:
blog resources ]]> http://syntax.wikidot.com/contact#revision-8375105 "Contact" - source change http://syntax.wikidot.com/contact Page: <a href="http://syntax.wikidot.com/contact">Contact</a> (contact)<br/>Current revision number: 3<br/>Date changed: Sun, 15 Feb 2009 16:38:28 +0000<br/>Change type: source change<br/>By: <span class="printuser"><a href="http://www.wikidot.com/user:info/gar" onclick="WIKIDOT.page.listeners.userInfo(21583); return false;" >gar</a></span><br/><br/>Page content preview: <br/>I'm Gregg Reynolds. my email uid is dev, my domain (.k o m) is m o b i l e i n k (one word, no spaces) Sun, 15 Feb 2009 16:38:28 +0000 Contact (contact)
Current revision number: 3
Date changed: Sun, 15 Feb 2009 16:38:28 +0000
Change type: source change
By: gar

Page content preview:
I'm Gregg Reynolds. my email uid is dev, my domain (.k o m) is m o b i l e i n k (one word, no spaces) ]]> http://syntax.wikidot.com/blog:9#revision-8374867 "Intergalactic Telefunctors and Quantum Entanglement" - title change http://syntax.wikidot.com/blog:9 Page: <a href="http://syntax.wikidot.com/blog:9">Intergalactic Telefunctors and Quantum Entanglement</a> (blog:9)<br/>Current revision number: 4<br/>Date changed: Sun, 15 Feb 2009 16:23:19 +0000<br/>Change type: title change<br/>By: <span class="printuser"><a href="http://www.wikidot.com/user:info/gar" onclick="WIKIDOT.page.listeners.userInfo(21583); return false;" >gar</a></span><br/><br/>Page content preview: <br/>Blog » Intergalactic Telefunctors and Quantum Entanglement Posted on 1234713995|%A: %d %B, %Y|agohover In a previous article I argued against the pernicious Container Fiction. Some respondents... Sun, 15 Feb 2009 16:23:19 +0000 Intergalactic Telefunctors and Quantum Entanglement (blog:9)
Current revision number: 4
Date changed: Sun, 15 Feb 2009 16:23:19 +0000
Change type: title change
By: gar

Page content preview:
Blog » Intergalactic Telefunctors and Quantum Entanglement Posted on 1234713995|%A: %d %B, %Y|agohover In a previous article I argued against the pernicious Container Fiction. Some respondents... ]]> http://syntax.wikidot.com/blog:9#revision-8374861 "Intergalactic Telefunctors and Quantum Entanglement" - source change http://syntax.wikidot.com/blog:9 Page: <a href="http://syntax.wikidot.com/blog:9">Intergalactic Telefunctors and Quantum Entanglement</a> (blog:9)<br/>Current revision number: 3<br/>Date changed: Sun, 15 Feb 2009 16:22:47 +0000<br/>Change type: source change<br/>By: <span class="printuser"><a href="http://www.wikidot.com/user:info/gar" onclick="WIKIDOT.page.listeners.userInfo(21583); return false;" >gar</a></span><br/><br/>Page content preview: <br/>Blog » Intergalactic Telefunctors and Quantum Entanglement Posted on 1234713995|%A: %d %B, %Y|agohover In a previous article I argued against the pernicious Container Fiction. Some respondents... Sun, 15 Feb 2009 16:22:47 +0000 Intergalactic Telefunctors and Quantum Entanglement (blog:9)
Current revision number: 3
Date changed: Sun, 15 Feb 2009 16:22:47 +0000
Change type: source change
By: gar

Page content preview:
Blog » Intergalactic Telefunctors and Quantum Entanglement Posted on 1234713995|%A: %d %B, %Y|agohover In a previous article I argued against the pernicious Container Fiction. Some respondents... ]]> http://syntax.wikidot.com/blog:9#revision-8374782 "Intergalactic Telefunctors and Quantum Entanglement" - source change http://syntax.wikidot.com/blog:9 Page: <a href="http://syntax.wikidot.com/blog:9">Intergalactic Telefunctors and Quantum Entanglement</a> (blog:9)<br/>Current revision number: 2<br/>Date changed: Sun, 15 Feb 2009 16:17:41 +0000<br/>Change type: source change<br/>By: <span class="printuser"><a href="http://www.wikidot.com/user:info/gar" onclick="WIKIDOT.page.listeners.userInfo(21583); return false;" >gar</a></span><br/><br/>Page content preview: <br/>Blog » Intergalactic Telefunctors and Quantum Entanglement Posted on 1234713995|%A: %d %B, %Y|agohover In a previous article I argued against the pernicious Container Fiction. Some respondents... Sun, 15 Feb 2009 16:17:41 +0000 Intergalactic Telefunctors and Quantum Entanglement (blog:9)
Current revision number: 2
Date changed: Sun, 15 Feb 2009 16:17:41 +0000
Change type: source change
By: gar

Page content preview:
Blog » Intergalactic Telefunctors and Quantum Entanglement Posted on 1234713995|%A: %d %B, %Y|agohover In a previous article I argued against the pernicious Container Fiction. Some respondents... ]]> http://syntax.wikidot.com/blog:9#revision-8374672 "Intergalactic Telefunctors and Quantum Entanglement" - source change http://syntax.wikidot.com/blog:9 Page: <a href="http://syntax.wikidot.com/blog:9">Intergalactic Telefunctors and Quantum Entanglement</a> (blog:9)<br/>Current revision number: 1<br/>Date changed: Sun, 15 Feb 2009 16:11:41 +0000<br/>Change type: source change<br/>By: <span class="printuser"><a href="http://www.wikidot.com/user:info/gar" onclick="WIKIDOT.page.listeners.userInfo(21583); return false;" >gar</a></span><br/><br/>Page content preview: <br/>Blog » Intergalactic Telefunctors and Quantum Entanglement Posted on 1234713995|%A: %d %B, %Y|agohover In a previous article I argued against the pernicious Container Fiction. Some respondents... Sun, 15 Feb 2009 16:11:41 +0000 Intergalactic Telefunctors and Quantum Entanglement (blog:9)
Current revision number: 1
Date changed: Sun, 15 Feb 2009 16:11:41 +0000
Change type: source change
By: gar

Page content preview:
Blog » Intergalactic Telefunctors and Quantum Entanglement Posted on 1234713995|%A: %d %B, %Y|agohover In a previous article I argued against the pernicious Container Fiction. Some respondents... ]]>