Masahiro Hamano Pontrjagin duality and full completeness for multiplicative linear logic (without Mix). 231-259 2000 10 Mathematical Structures in Computer Science 2 db/journals/mscs/mscs10.html#Hamano00