General synthetic domain theory — a logical approach (1999)

by B Reus, T Streicher
Venue:Math. Struct. in Comp. Sci