Talk:Coherent semantics
From LLWiki
(Difference between revisions)
(→Mix rule: new section) |
(→Main properties: closed topic) |
||
| Line 5: | Line 5: | ||
[[User:Olivier Laurent|Olivier Laurent]] 12:57, 22 February 2009 (UTC) |
[[User:Olivier Laurent|Olivier Laurent]] 12:57, 22 February 2009 (UTC) |
||
| − | == Main properties == |
||
| − | 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]]). |
||
| − | [[Isomorphism]]s are also a related topic. |
||
| − | |||
| − | [[User:Olivier Laurent|Olivier Laurent]] 20:21, 5 March 2009 (UTC) |
||
| − | |||
| − | : Good idea. I've moved the section into the new page [[Semantics]]. |
||
| − | : [[User:Laurent Regnier|Laurent Regnier]] 21:26, 8 March 2009 (UTC) |
||
== Mix rule == |
== Mix rule == |
||
Revision as of 15:21, 14 March 2009
linear logical relations
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.
Olivier Laurent 12:57, 22 February 2009 (UTC)
Mix rule
The mix rule probably deserves its own page, in particular for use in game semantics.
Olivier Laurent 12:10, 14 March 2009 (UTC)
