Raymond Turner Weak Theories of Operations and Types. 5-31 1996 6 J. Log. Comput. 1 db/journals/logcom/logcom6.html#Turner96