Talk:Semantics
From LLWiki
Revision as of 09:42, 19 October 2009 by Olivier Laurent (Talk | contribs)
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)