A maximal monoidal closed category of distributive algebraic domains (1995)

by M Huth
Venue:Information and Computation