Full Completeness for Models of Linear Logic (1997)

by A Tan