Talk:Coherent semantics
From LLWiki
Revision as of 14:21, 14 March 2009 by Olivier Laurent (Talk | contribs)
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)
