General Synthetic Domain Theory - A Logical Approach (1997)

by B. Reus , Th. Streicher
Venue:Math. Struct. in Comp. Sci
Citations:10 - 1 self