1 problem

Let $X$ and $L$ be continuous domains, and let $T$ denote the domain used in the Scott function spaces $[X\to T]$ and $[T\to L]$. The paper considers finite-layer truncation maps a…