Talk:Coherent semantics
From LLWiki
Revision as of 22:26, 8 March 2009 by Laurent Regnier (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)
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). Isomorphims are also a related topic.
Olivier Laurent 20:21, 5 March 2009 (UTC)
- Good idea. I've moved the section into the new page Semantics.
- Laurent Regnier 21:26, 8 March 2009 (UTC)
