http://llwiki.ens-lyon.fr/mediawiki/index.php?action=history&feed=atom&title=Talk%3ACoherent_semantics 2026-04-07T01:04:30Z 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 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">&#160;</td> <td style="background: #eee; color:black; font-size: smaller;"><div>== Mix rule ==</div></td> <td class="diff-marker">&#160;</td> <td style="background: #eee; color:black; font-size: smaller;"><div>== Mix rule ==</div></td> </tr> <tr> <td class="diff-marker">&#160;</td> <td style="background: #eee; color:black; font-size: smaller;"></td> <td class="diff-marker">&#160;</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">&#160;</td> <td style="background: #eee; color:black; font-size: smaller;"></td> <td class="diff-marker">&#160;</td> <td style="background: #eee; color:black; font-size: smaller;"></td> </tr> <tr> <td class="diff-marker">&#160;</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">&#160;</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 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">&#160;</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">&#160;</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">&#160;</td> <td style="background: #eee; color:black; font-size: smaller;"></td> <td class="diff-marker">&#160;</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">&#160;</td> </tr> <tr> <td class="diff-marker">−</td> <td style="background: #ffa; color:black; font-size: smaller;"></td> <td colspan="2" class="diff-empty">&#160;</td> </tr> <tr> <td class="diff-marker">&#160;</td> <td style="background: #eee; color:black; font-size: smaller;"></td> <td class="diff-marker">&#160;</td> <td style="background: #eee; color:black; font-size: smaller;"></td> </tr> <tr> <td class="diff-marker">&#160;</td> <td style="background: #eee; color:black; font-size: smaller;"><div>== Mix rule ==</div></td> <td class="diff-marker">&#160;</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">&#160;</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">&#160;</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">&#160;</td> <td style="background: #eee; color:black; font-size: smaller;"></td> <td class="diff-marker">&#160;</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 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">&#160;</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">&#160;</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">&#160;</td> <td style="background: #eee; color:black; font-size: smaller;"></td> <td class="diff-marker">&#160;</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">&#160;</td> </tr> <tr> <td class="diff-marker">&#160;</td> <td style="background: #eee; color:black; font-size: smaller;"></td> <td class="diff-marker">&#160;</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">&#160;</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">&#160;</td> </tr> <tr> <td class="diff-marker">−</td> <td style="background: #ffa; color:black; font-size: smaller;"></td> <td colspan="2" class="diff-empty">&#160;</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">&#160;</td> </tr> <tr> <td class="diff-marker">−</td> <td style="background: #ffa; color:black; font-size: smaller;"></td> <td colspan="2" class="diff-empty">&#160;</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">&#160;</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">&#160;</td> </tr> <tr> <td class="diff-marker">&#160;</td> <td style="background: #eee; color:black; font-size: smaller;"></td> <td class="diff-marker">&#160;</td> <td style="background: #eee; color:black; font-size: smaller;"></td> </tr> <tr> <td class="diff-marker">&#160;</td> <td style="background: #eee; color:black; font-size: smaller;"><div>== Mix rule ==</div></td> <td class="diff-marker">&#160;</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 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">&#160;</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">&#160;</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">&#160;</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">&#160;</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">&#160;</td> <td class="diff-marker">+</td> <td style="background: #cfc; color:black; font-size: smaller;"></td> </tr> <tr> <td colspan="2" class="diff-empty">&#160;</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">&#160;</td> <td class="diff-marker">+</td> <td style="background: #cfc; color:black; font-size: smaller;"></td> </tr> <tr> <td colspan="2" class="diff-empty">&#160;</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">&#160;</td> <td class="diff-marker">+</td> <td style="background: #cfc; color:black; font-size: smaller;"></td> </tr> <tr> <td colspan="2" class="diff-empty">&#160;</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 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">&#160;</td> <td style="background: #eee; color:black; font-size: smaller;"></td> <td class="diff-marker">&#160;</td> <td style="background: #eee; color:black; font-size: smaller;"></td> </tr> <tr> <td class="diff-marker">&#160;</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">&#160;</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">&#160;</td> <td style="background: #eee; color:black; font-size: smaller;"></td> <td class="diff-marker">&#160;</td> <td style="background: #eee; color:black; font-size: smaller;"></td> </tr> <tr> <td class="diff-marker">&#160;</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">&#160;</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 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">&#160;</td> <td style="background: #eee; color:black; font-size: smaller;"></td> <td class="diff-marker">&#160;</td> <td style="background: #eee; color:black; font-size: smaller;"></td> </tr> <tr> <td class="diff-marker">&#160;</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">&#160;</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">&#160;</td> <td class="diff-marker">+</td> <td style="background: #cfc; color:black; font-size: smaller;"></td> </tr> <tr> <td colspan="2" class="diff-empty">&#160;</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">&#160;</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 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">&#160;</td> <td style="background: #eee; color:black; font-size: smaller;"></td> <td class="diff-marker">&#160;</td> <td style="background: #eee; color:black; font-size: smaller;"></td> </tr> <tr> <td class="diff-marker">&#160;</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">&#160;</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">&#160;</td> <td class="diff-marker">+</td> <td style="background: #cfc; color:black; font-size: smaller;"></td> </tr> <tr> <td colspan="2" class="diff-empty">&#160;</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">&#160;</td> <td class="diff-marker">+</td> <td style="background: #cfc; color:black; font-size: smaller;"></td> </tr> <tr> <td colspan="2" class="diff-empty">&#160;</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">&#160;</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">&#160;</td> <td class="diff-marker">+</td> <td style="background: #cfc; color:black; font-size: smaller;"></td> </tr> <tr> <td colspan="2" class="diff-empty">&#160;</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 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