Talk:Coherent semantics
From LLWiki
(Difference between revisions)
(→Mix rule: new section) |
m (→Mix rule) |
||
| (2 intermediate revisions by one user not shown) | |||
| Line 3: | Line 3: | ||
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. |
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. |
||
| − | [[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 == |
||
| − | The mix rule probably deserves its own page, in particular for use in [[game semantics]]. |
+ | The [[mix]] rule probably deserves its own page, in particular for use in [[game semantics]]. |
| − | [[User:Olivier Laurent|Olivier Laurent]] 12:10, 14 March 2009 (UTC) |
+ | --[[User:Olivier Laurent|Olivier Laurent]] 12:10, 14 March 2009 (UTC) |
Latest revision as of 13:37, 15 March 2011
[edit] 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)
[edit] 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)
