The largest cartesian closed category of stable domains (1996)

by G-Q Zhang
Venue:Theoretical Computer Science