number of conclusions (below the horizontal line). The details of using
this notation are still a bit fuzzy, so comments are welcom.
number of conclusions (below the horizontal line). The details of using
this notation are still a bit fuzzy, so comments are welcom.
\subsection{η-abstraction}
This transformation makes sure that all arguments of a function-typed
expression are named, by introducing lambda expressions. When combined with
\subsection{η-abstraction}
This transformation makes sure that all arguments of a function-typed
expression are named, by introducing lambda expressions. When combined with