Wim H. Hesselink Axioms and Models of Linear Logic. 139-166 1990 2 Formal Asp. Comput. 2 db/journals/fac/fac2.html#Hesselink90a