Talk:Coherent semantics

From LLWiki
(Difference between revisions)
Jump to: navigation, search
m (signature syntax)
m (Mix rule)
 
Line 7: Line 7:
 
== 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)

Personal tools