Document Type
Technical Report
Publication Date
2009
Recommended Citation
Lengyel, Florian, "TR-2009002: Cartesian Closed Categories for the Logic of Proofs" (2009). CUNY Academic Works.
https://academicworks.cuny.edu/gc_cs_tr/323
Skip to main content
COinS