Naive Synthetic Domain Theory—A Logical Approach (1994)

by B Reus, T Streicher