Talk:Semantics

From LLWiki
Revision as of 10:42, 19 October 2009 by Olivier Laurent (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

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)

Personal tools