Commit 4efc5cfd authored by Giuseppe Castagna's avatar Giuseppe Castagna
Browse files

added comment

parent 12d4f918
......@@ -303,7 +303,7 @@ connections as well. For example, the proof system for the
\(\vdash^{Path}\) judgment is very similar to the proof system used in
{[}23{]} (Figures 4 \& 7 there).
\begin{answer} Kim Compare
{[}23{]}=THF2010
Done (see: p29l??-??)
\end{answer}
The approach of generalizing the type environment to
prove a more general set of propositions (here, about arbitrary
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment