Talk:Semantics
From LLWiki
(Difference between revisions)
(Page status) |
(→Page status: obsolete comment) |
||
| Line 1: | Line 1: | ||
| − | == Page status == |
||
| − | |||
| − | This page does not seem to be particularly semantic, except maybe for the mention of naturality. |
||
| − | |||
| − | See also [[Talk:Sequent calculus#Equivalences]]. |
||
| − | |||
| − | -- |
||
| − | [[User:Olivier Laurent|Olivier Laurent]] 08:42, 19 October 2009 (UTC) |
||
