Talk:Coherent semantics

From LLWiki
(Difference between revisions)
Jump to: navigation, search
m (Main properties: typo)
m (Mix rule)
 
(3 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 ==
+
== Mix rule ==
   
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]]).
+
The [[mix]] rule probably deserves its own page, in particular for use in [[game semantics]].
[[Isomorphism]]s are also a related topic.
 
   
[[User:Olivier Laurent|Olivier Laurent]] 20:21, 5 March 2009 (UTC)
+
--[[User:Olivier Laurent|Olivier Laurent]] 12:10, 14 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)
 

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)

Personal tools