Lawson compactness on function spaces of domains

In this paper it is proved that for a Lawson compact algebraic dcpo D and a bifinite domain L with smallest element, the function space [ D → L ] is algebraic and Lawson compact.