@article{ursini-paper, AUTHOR = {Aldo Ursini}, TITLE = {Semantical Investigations of Linear Logic}, URL = {http://www.csl.sri.com/papers/ursini-paper/} }
About Us R&D Divisions Careers Newsroom Contact Us © 2025 SRI International 333 Ravenswood Avenue, Menlo Park, CA 94025-3493 SRI International is an independent, nonprofit corporation. Privacy policy