http://llwiki.ens-lyon.fr/mediawiki/index.php?title=Talk:Coherent_semantics&feed=atom&action=history
Talk:Coherent semantics - Revision history
2024-03-29T11:45:56Z
Revision history for this page on the wiki
MediaWiki 1.19.20+dfsg-0+deb7u3
http://llwiki.ens-lyon.fr/mediawiki/index.php?title=Talk:Coherent_semantics&diff=516&oldid=prev
Olivier Laurent: /* Mix rule */
2011-03-15T12:37:11Z
<p><span dir="auto"><span class="autocomment">Mix rule</span></span></p>
<table class='diff diff-contentalign-left'>
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr valign='top'>
<td colspan='2' style="background-color: white; color:black;">← Older revision</td>
<td colspan='2' style="background-color: white; color:black;">Revision as of 12:37, 15 March 2011</td>
</tr><tr>
<td colspan="2" class="diff-lineno">Line 7:</td>
<td colspan="2" class="diff-lineno">Line 7:</td>
</tr>
<tr>
<td class="diff-marker"> </td>
<td style="background: #eee; color:black; font-size: smaller;"><div>== Mix rule ==</div></td>
<td class="diff-marker"> </td>
<td style="background: #eee; color:black; font-size: smaller;"><div>== Mix rule ==</div></td>
</tr>
<tr>
<td class="diff-marker"> </td>
<td style="background: #eee; color:black; font-size: smaller;"></td>
<td class="diff-marker"> </td>
<td style="background: #eee; color:black; font-size: smaller;"></td>
</tr>
<tr>
<td class="diff-marker">−</td>
<td style="background: #ffa; color:black; font-size: smaller;"><div>The mix rule probably deserves its own page, in particular for use in [[game semantics]].</div></td>
<td class="diff-marker">+</td>
<td style="background: #cfc; color:black; font-size: smaller;"><div>The <span class="diffchange diffchange-inline">[[</span>mix<span class="diffchange diffchange-inline">]]</span> rule probably deserves its own page, in particular for use in [[game semantics]].</div></td>
</tr>
<tr>
<td class="diff-marker"> </td>
<td style="background: #eee; color:black; font-size: smaller;"></td>
<td class="diff-marker"> </td>
<td style="background: #eee; color:black; font-size: smaller;"></td>
</tr>
<tr>
<td class="diff-marker"> </td>
<td style="background: #eee; color:black; font-size: smaller;"><div>--[[User:Olivier Laurent|Olivier Laurent]] 12:10, 14 March 2009 (UTC)</div></td>
<td class="diff-marker"> </td>
<td style="background: #eee; color:black; font-size: smaller;"><div>--[[User:Olivier Laurent|Olivier Laurent]] 12:10, 14 March 2009 (UTC)</div></td>
</tr>
</table>
Olivier Laurent
http://llwiki.ens-lyon.fr/mediawiki/index.php?title=Talk:Coherent_semantics&diff=216&oldid=prev
Olivier Laurent: signature syntax
2009-03-14T13:29:41Z
<p>signature syntax</p>
<table class='diff diff-contentalign-left'>
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr valign='top'>
<td colspan='2' style="background-color: white; color:black;">← Older revision</td>
<td colspan='2' style="background-color: white; color:black;">Revision as of 13:29, 14 March 2009</td>
</tr><tr>
<td colspan="2" class="diff-lineno">Line 3:</td>
<td colspan="2" class="diff-lineno">Line 3:</td>
</tr>
<tr>
<td class="diff-marker"> </td>
<td style="background: #eee; color:black; font-size: smaller;"><div>It would be nice to clarify the common points between the ''cliqued space'' presentation and the section about ''closure operators'' on the [[phase semantics]] page.</div></td>
<td class="diff-marker"> </td>
<td style="background: #eee; color:black; font-size: smaller;"><div>It would be nice to clarify the common points between the ''cliqued space'' presentation and the section about ''closure operators'' on the [[phase semantics]] page.</div></td>
</tr>
<tr>
<td class="diff-marker"> </td>
<td style="background: #eee; color:black; font-size: smaller;"></td>
<td class="diff-marker"> </td>
<td style="background: #eee; color:black; font-size: smaller;"></td>
</tr>
<tr>
<td class="diff-marker">−</td>
<td style="background: #ffa; color:black; font-size: smaller;"><div>[[User:Olivier Laurent|Olivier Laurent]] 12:57, 22 February 2009 (UTC)</div></td>
<td class="diff-marker">+</td>
<td style="background: #cfc; color:black; font-size: smaller;"><div><span class="diffchange diffchange-inline">--</span>[[User:Olivier Laurent|Olivier Laurent]] 12:57, 22 February 2009 (UTC)</div></td>
</tr>
<tr>
<td class="diff-marker">−</td>
<td style="background: #ffa; color:black; font-size: smaller;"></td>
<td colspan="2" class="diff-empty"> </td>
</tr>
<tr>
<td class="diff-marker">−</td>
<td style="background: #ffa; color:black; font-size: smaller;"></td>
<td colspan="2" class="diff-empty"> </td>
</tr>
<tr>
<td class="diff-marker"> </td>
<td style="background: #eee; color:black; font-size: smaller;"></td>
<td class="diff-marker"> </td>
<td style="background: #eee; color:black; font-size: smaller;"></td>
</tr>
<tr>
<td class="diff-marker"> </td>
<td style="background: #eee; color:black; font-size: smaller;"><div>== Mix rule ==</div></td>
<td class="diff-marker"> </td>
<td style="background: #eee; color:black; font-size: smaller;"><div>== Mix rule ==</div></td>
</tr>
<tr>
<td colspan="2" class="diff-lineno">Line 9:</td>
<td colspan="2" class="diff-lineno">Line 9:</td>
</tr>
<tr>
<td class="diff-marker"> </td>
<td style="background: #eee; color:black; font-size: smaller;"><div>The mix rule probably deserves its own page, in particular for use in [[game semantics]].</div></td>
<td class="diff-marker"> </td>
<td style="background: #eee; color:black; font-size: smaller;"><div>The mix rule probably deserves its own page, in particular for use in [[game semantics]].</div></td>
</tr>
<tr>
<td class="diff-marker"> </td>
<td style="background: #eee; color:black; font-size: smaller;"></td>
<td class="diff-marker"> </td>
<td style="background: #eee; color:black; font-size: smaller;"></td>
</tr>
<tr>
<td class="diff-marker">−</td>
<td style="background: #ffa; color:black; font-size: smaller;"><div>[[User:Olivier Laurent|Olivier Laurent]] 12:10, 14 March 2009 (UTC)</div></td>
<td class="diff-marker">+</td>
<td style="background: #cfc; color:black; font-size: smaller;"><div><span class="diffchange diffchange-inline">--</span>[[User:Olivier Laurent|Olivier Laurent]] 12:10, 14 March 2009 (UTC)</div></td>
</tr>
</table>
Olivier Laurent
http://llwiki.ens-lyon.fr/mediawiki/index.php?title=Talk:Coherent_semantics&diff=215&oldid=prev
Olivier Laurent: /* Main properties */ closed topic
2009-03-14T13:21:48Z
<p><span dir="auto"><span class="autocomment">Main properties: </span> closed topic</span></p>
<table class='diff diff-contentalign-left'>
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr valign='top'>
<td colspan='2' style="background-color: white; color:black;">← Older revision</td>
<td colspan='2' style="background-color: white; color:black;">Revision as of 13:21, 14 March 2009</td>
</tr><tr>
<td colspan="2" class="diff-lineno">Line 5:</td>
<td colspan="2" class="diff-lineno">Line 5:</td>
</tr>
<tr>
<td class="diff-marker"> </td>
<td style="background: #eee; color:black; font-size: smaller;"><div>[[User:Olivier Laurent|Olivier Laurent]] 12:57, 22 February 2009 (UTC)</div></td>
<td class="diff-marker"> </td>
<td style="background: #eee; color:black; font-size: smaller;"><div>[[User:Olivier Laurent|Olivier Laurent]] 12:57, 22 February 2009 (UTC)</div></td>
</tr>
<tr>
<td class="diff-marker"> </td>
<td style="background: #eee; color:black; font-size: smaller;"></td>
<td class="diff-marker"> </td>
<td style="background: #eee; color:black; font-size: smaller;"></td>
</tr>
<tr>
<td class="diff-marker">−</td>
<td style="background: #ffa; color:black; font-size: smaller;"><div>== Main properties ==</div></td>
<td colspan="2" class="diff-empty"> </td>
</tr>
<tr>
<td class="diff-marker"> </td>
<td style="background: #eee; color:black; font-size: smaller;"></td>
<td class="diff-marker"> </td>
<td style="background: #eee; color:black; font-size: smaller;"></td>
</tr>
<tr>
<td class="diff-marker">−</td>
<td style="background: #ffa; color:black; font-size: smaller;"><div>Since this section does not really rely on the coherent model, it might be more natural to move it on a specific page (or in the general setting of [[categorical semantics]]).</div></td>
<td colspan="2" class="diff-empty"> </td>
</tr>
<tr>
<td class="diff-marker">−</td>
<td style="background: #ffa; color:black; font-size: smaller;"><div>[[Isomorphism]]s are also a related topic.</div></td>
<td colspan="2" class="diff-empty"> </td>
</tr>
<tr>
<td class="diff-marker">−</td>
<td style="background: #ffa; color:black; font-size: smaller;"></td>
<td colspan="2" class="diff-empty"> </td>
</tr>
<tr>
<td class="diff-marker">−</td>
<td style="background: #ffa; color:black; font-size: smaller;"><div>[[User:Olivier Laurent|Olivier Laurent]] 20:21, 5 March 2009 (UTC)</div></td>
<td colspan="2" class="diff-empty"> </td>
</tr>
<tr>
<td class="diff-marker">−</td>
<td style="background: #ffa; color:black; font-size: smaller;"></td>
<td colspan="2" class="diff-empty"> </td>
</tr>
<tr>
<td class="diff-marker">−</td>
<td style="background: #ffa; color:black; font-size: smaller;"><div>: Good idea. I've moved the section into the new page [[Semantics]].</div></td>
<td colspan="2" class="diff-empty"> </td>
</tr>
<tr>
<td class="diff-marker">−</td>
<td style="background: #ffa; color:black; font-size: smaller;"><div>: [[User:Laurent Regnier|Laurent Regnier]] 21:26, 8 March 2009 (UTC)</div></td>
<td colspan="2" class="diff-empty"> </td>
</tr>
<tr>
<td class="diff-marker"> </td>
<td style="background: #eee; color:black; font-size: smaller;"></td>
<td class="diff-marker"> </td>
<td style="background: #eee; color:black; font-size: smaller;"></td>
</tr>
<tr>
<td class="diff-marker"> </td>
<td style="background: #eee; color:black; font-size: smaller;"><div>== Mix rule ==</div></td>
<td class="diff-marker"> </td>
<td style="background: #eee; color:black; font-size: smaller;"><div>== Mix rule ==</div></td>
</tr>
</table>
Olivier Laurent
http://llwiki.ens-lyon.fr/mediawiki/index.php?title=Talk:Coherent_semantics&diff=214&oldid=prev
Olivier Laurent: /* Mix rule */ new section
2009-03-14T12:10:15Z
<p><span dir="auto"><span class="autocomment">Mix rule: </span> new section</span></p>
<table class='diff diff-contentalign-left'>
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr valign='top'>
<td colspan='2' style="background-color: white; color:black;">← Older revision</td>
<td colspan='2' style="background-color: white; color:black;">Revision as of 12:10, 14 March 2009</td>
</tr><tr>
<td colspan="2" class="diff-lineno">Line 14:</td>
<td colspan="2" class="diff-lineno">Line 14:</td>
</tr>
<tr>
<td class="diff-marker"> </td>
<td style="background: #eee; color:black; font-size: smaller;"><div>: Good idea. I've moved the section into the new page [[Semantics]].</div></td>
<td class="diff-marker"> </td>
<td style="background: #eee; color:black; font-size: smaller;"><div>: Good idea. I've moved the section into the new page [[Semantics]].</div></td>
</tr>
<tr>
<td class="diff-marker"> </td>
<td style="background: #eee; color:black; font-size: smaller;"><div>: [[User:Laurent Regnier|Laurent Regnier]] 21:26, 8 March 2009 (UTC)</div></td>
<td class="diff-marker"> </td>
<td style="background: #eee; color:black; font-size: smaller;"><div>: [[User:Laurent Regnier|Laurent Regnier]] 21:26, 8 March 2009 (UTC)</div></td>
</tr>
<tr>
<td colspan="2" class="diff-empty"> </td>
<td class="diff-marker">+</td>
<td style="background: #cfc; color:black; font-size: smaller;"></td>
</tr>
<tr>
<td colspan="2" class="diff-empty"> </td>
<td class="diff-marker">+</td>
<td style="background: #cfc; color:black; font-size: smaller;"><div>== Mix rule ==</div></td>
</tr>
<tr>
<td colspan="2" class="diff-empty"> </td>
<td class="diff-marker">+</td>
<td style="background: #cfc; color:black; font-size: smaller;"></td>
</tr>
<tr>
<td colspan="2" class="diff-empty"> </td>
<td class="diff-marker">+</td>
<td style="background: #cfc; color:black; font-size: smaller;"><div>The mix rule probably deserves its own page, in particular for use in [[game semantics]].</div></td>
</tr>
<tr>
<td colspan="2" class="diff-empty"> </td>
<td class="diff-marker">+</td>
<td style="background: #cfc; color:black; font-size: smaller;"></td>
</tr>
<tr>
<td colspan="2" class="diff-empty"> </td>
<td class="diff-marker">+</td>
<td style="background: #cfc; color:black; font-size: smaller;"><div>[[User:Olivier Laurent|Olivier Laurent]] 12:10, 14 March 2009 (UTC)</div></td>
</tr>
</table>
Olivier Laurent
http://llwiki.ens-lyon.fr/mediawiki/index.php?title=Talk:Coherent_semantics&diff=202&oldid=prev
Olivier Laurent: /* Main properties */ typo
2009-03-08T22:07:52Z
<p><span dir="auto"><span class="autocomment">Main properties: </span> typo</span></p>
<table class='diff diff-contentalign-left'>
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr valign='top'>
<td colspan='2' style="background-color: white; color:black;">← Older revision</td>
<td colspan='2' style="background-color: white; color:black;">Revision as of 22:07, 8 March 2009</td>
</tr><tr>
<td colspan="2" class="diff-lineno">Line 8:</td>
<td colspan="2" class="diff-lineno">Line 8:</td>
</tr>
<tr>
<td class="diff-marker"> </td>
<td style="background: #eee; color:black; font-size: smaller;"></td>
<td class="diff-marker"> </td>
<td style="background: #eee; color:black; font-size: smaller;"></td>
</tr>
<tr>
<td class="diff-marker"> </td>
<td style="background: #eee; color:black; font-size: smaller;"><div>Since this section does not really rely on the coherent model, it might be more natural to move it on a specific page (or in the general setting of [[categorical semantics]]).</div></td>
<td class="diff-marker"> </td>
<td style="background: #eee; color:black; font-size: smaller;"><div>Since this section does not really rely on the coherent model, it might be more natural to move it on a specific page (or in the general setting of [[categorical semantics]]).</div></td>
</tr>
<tr>
<td class="diff-marker">−</td>
<td style="background: #ffa; color:black; font-size: smaller;"><div>[[<span class="diffchange diffchange-inline">Isomorphim</span>]]s are also a related topic.</div></td>
<td class="diff-marker">+</td>
<td style="background: #cfc; color:black; font-size: smaller;"><div>[[<span class="diffchange diffchange-inline">Isomorphism</span>]]s are also a related topic.</div></td>
</tr>
<tr>
<td class="diff-marker"> </td>
<td style="background: #eee; color:black; font-size: smaller;"></td>
<td class="diff-marker"> </td>
<td style="background: #eee; color:black; font-size: smaller;"></td>
</tr>
<tr>
<td class="diff-marker"> </td>
<td style="background: #eee; color:black; font-size: smaller;"><div>[[User:Olivier Laurent|Olivier Laurent]] 20:21, 5 March 2009 (UTC)</div></td>
<td class="diff-marker"> </td>
<td style="background: #eee; color:black; font-size: smaller;"><div>[[User:Olivier Laurent|Olivier Laurent]] 20:21, 5 March 2009 (UTC)</div></td>
</tr>
</table>
Olivier Laurent
http://llwiki.ens-lyon.fr/mediawiki/index.php?title=Talk:Coherent_semantics&diff=201&oldid=prev
Laurent Regnier: /* Main properties */
2009-03-08T21:26:55Z
<p><span dir="auto"><span class="autocomment">Main properties</span></span></p>
<table class='diff diff-contentalign-left'>
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr valign='top'>
<td colspan='2' style="background-color: white; color:black;">← Older revision</td>
<td colspan='2' style="background-color: white; color:black;">Revision as of 21:26, 8 March 2009</td>
</tr><tr>
<td colspan="2" class="diff-lineno">Line 11:</td>
<td colspan="2" class="diff-lineno">Line 11:</td>
</tr>
<tr>
<td class="diff-marker"> </td>
<td style="background: #eee; color:black; font-size: smaller;"></td>
<td class="diff-marker"> </td>
<td style="background: #eee; color:black; font-size: smaller;"></td>
</tr>
<tr>
<td class="diff-marker"> </td>
<td style="background: #eee; color:black; font-size: smaller;"><div>[[User:Olivier Laurent|Olivier Laurent]] 20:21, 5 March 2009 (UTC)</div></td>
<td class="diff-marker"> </td>
<td style="background: #eee; color:black; font-size: smaller;"><div>[[User:Olivier Laurent|Olivier Laurent]] 20:21, 5 March 2009 (UTC)</div></td>
</tr>
<tr>
<td colspan="2" class="diff-empty"> </td>
<td class="diff-marker">+</td>
<td style="background: #cfc; color:black; font-size: smaller;"></td>
</tr>
<tr>
<td colspan="2" class="diff-empty"> </td>
<td class="diff-marker">+</td>
<td style="background: #cfc; color:black; font-size: smaller;"><div>: Good idea. I've moved the section into the new page [[Semantics]].</div></td>
</tr>
<tr>
<td colspan="2" class="diff-empty"> </td>
<td class="diff-marker">+</td>
<td style="background: #cfc; color:black; font-size: smaller;"><div>: [[User:Laurent Regnier|Laurent Regnier]] 21:26, 8 March 2009 (UTC)</div></td>
</tr>
</table>
Laurent Regnier
http://llwiki.ens-lyon.fr/mediawiki/index.php?title=Talk:Coherent_semantics&diff=187&oldid=prev
Olivier Laurent: /* Main properties */ new section
2009-03-05T20:21:01Z
<p><span dir="auto"><span class="autocomment">Main properties: </span> new section</span></p>
<table class='diff diff-contentalign-left'>
<col class='diff-marker' />
<col class='diff-content' />
<col class='diff-marker' />
<col class='diff-content' />
<tr valign='top'>
<td colspan='2' style="background-color: white; color:black;">← Older revision</td>
<td colspan='2' style="background-color: white; color:black;">Revision as of 20:21, 5 March 2009</td>
</tr><tr>
<td colspan="2" class="diff-lineno">Line 4:</td>
<td colspan="2" class="diff-lineno">Line 4:</td>
</tr>
<tr>
<td class="diff-marker"> </td>
<td style="background: #eee; color:black; font-size: smaller;"></td>
<td class="diff-marker"> </td>
<td style="background: #eee; color:black; font-size: smaller;"></td>
</tr>
<tr>
<td class="diff-marker"> </td>
<td style="background: #eee; color:black; font-size: smaller;"><div>[[User:Olivier Laurent|Olivier Laurent]] 12:57, 22 February 2009 (UTC)</div></td>
<td class="diff-marker"> </td>
<td style="background: #eee; color:black; font-size: smaller;"><div>[[User:Olivier Laurent|Olivier Laurent]] 12:57, 22 February 2009 (UTC)</div></td>
</tr>
<tr>
<td colspan="2" class="diff-empty"> </td>
<td class="diff-marker">+</td>
<td style="background: #cfc; color:black; font-size: smaller;"></td>
</tr>
<tr>
<td colspan="2" class="diff-empty"> </td>
<td class="diff-marker">+</td>
<td style="background: #cfc; color:black; font-size: smaller;"><div>== Main properties ==</div></td>
</tr>
<tr>
<td colspan="2" class="diff-empty"> </td>
<td class="diff-marker">+</td>
<td style="background: #cfc; color:black; font-size: smaller;"></td>
</tr>
<tr>
<td colspan="2" class="diff-empty"> </td>
<td class="diff-marker">+</td>
<td style="background: #cfc; color:black; font-size: smaller;"><div>Since this section does not really rely on the coherent model, it might be more natural to move it on a specific page (or in the general setting of [[categorical semantics]]).</div></td>
</tr>
<tr>
<td colspan="2" class="diff-empty"> </td>
<td class="diff-marker">+</td>
<td style="background: #cfc; color:black; font-size: smaller;"><div>[[Isomorphim]]s are also a related topic.</div></td>
</tr>
<tr>
<td colspan="2" class="diff-empty"> </td>
<td class="diff-marker">+</td>
<td style="background: #cfc; color:black; font-size: smaller;"></td>
</tr>
<tr>
<td colspan="2" class="diff-empty"> </td>
<td class="diff-marker">+</td>
<td style="background: #cfc; color:black; font-size: smaller;"><div>[[User:Olivier Laurent|Olivier Laurent]] 20:21, 5 March 2009 (UTC)</div></td>
</tr>
</table>
Olivier Laurent
http://llwiki.ens-lyon.fr/mediawiki/index.php?title=Talk:Coherent_semantics&diff=169&oldid=prev
Olivier Laurent: linear logical relations
2009-02-22T12:57:54Z
<p>linear logical relations</p>
<p><b>New page</b></p><div>== linear logical relations ==<br />
<br />
It would be nice to clarify the common points between the ''cliqued space'' presentation and the section about ''closure operators'' on the [[phase semantics]] page.<br />
<br />
[[User:Olivier Laurent|Olivier Laurent]] 12:57, 22 February 2009 (UTC)</div>
Olivier Laurent