A Type System of Logic Objects.

Dianxiang Xu A Type System of Logic Objects. 52-56 1999 34 SIGPLAN Notices 2 db/journals/sigplan/sigplan34.html#Xu99