Talk:Coherent semantics

From LLWiki
Revision as of 14:29, 14 March 2009 by Olivier Laurent (Talk | contribs)

Jump to: navigation, search

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)

Personal tools