Commit 6ba8c397 authored by Giuseppe Castagna's avatar Giuseppe Castagna
Browse files

bla

parent e38a9e22
......@@ -325,10 +325,6 @@ More generally, we also went more in depth in the comparison with the
logical approach by THF, to highlight further limitations of our
approach as requested by the reviewers.
On the same vein we studied type-schemes to have the most general
possible case that give the strongest partial completeness result, and
gives a framework where possible different algorithmic solutions can
be found.
\end{answer}
\item \textbf{Discussion of pure expressions:}
......@@ -394,6 +390,11 @@ unneeded:
rather than (as in {[}22{]}) start with a system that does
not satisfy type preservation and then add auxiliary rules to
prove type preservation.
On the same vein we studied type-schemes to have the most
general possible case that give the strongest partial
completeness result, and gives a framework where possible
different algorithmic solutions can be found.
\end{answer}
\item
......
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