Document Type
Technical Report
Publication Date
2007
Recommended Citation
Kushida, Hirohiko, "TR-2007017: Linear Logic with Explicit Resources" (2007). CUNY Academic Works.
https://academicworks.cuny.edu/gc_cs_tr/297
Skip to main content
COinS