Talk:Coherent semantics
From LLWiki
(Difference between revisions)
(linear logical relations) |
Revision as of 13:57, 22 February 2009
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)
