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

Typos.

parent 247d4e21
......@@ -27,7 +27,7 @@ abstraction infinitely many types, that is the annotation of the
function intersected with as many negations of arrow types as
possible without making the type empty. We do not handle this
multiplicity directly in the algorithmic system but only in the proof
its soundness by using and adapting the technique of \emph{type
of its soundness by using and adapting the technique of \emph{type
schemes} defined by~\citet{Frisch2008}. Type schemes are canonical
representations of the infinite sets of types of
$\lambda$-abstractions which can be used to define an algorithmic
......
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