Talk:Semantics
From LLWiki
(Difference between revisions)
(Page status) |
Revision as of 09:42, 19 October 2009
Page status
This page does not seem to be particularly semantic, except maybe for the mention of naturality.
See also Talk:Sequent calculus#Equivalences.
-- Olivier Laurent 08:42, 19 October 2009 (UTC)