Commit e66e0e83 authored by Kim Nguyễn's avatar Kim Nguyễn
Browse files

Remove the last ?? reference.

parent 674c6ec0
......@@ -39,7 +39,7 @@ $\lambda$-abstractions which can be used to define an algorithmic
system that can be easily proved to be sound. The simpler algorithm
that we propose in this section implies (i.e., it is less precise than) the one with type schemes (cf.\
Lemma~\ref{soundness_simple_ts}) and it is thus sound, too. The algorithm of this
section is not only simpler but, as we discuss in Section~\ref{???}\kim{Where?},
section is not only simpler but, as we discuss in Section~\ref{sec:algoprop},
is also the one that should be used in practice. This is why we preferred to
present it here and relegate the presentation of type schemes to
Appendix~\ref{app:typeschemes}.
......
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