EII-polycategories, additive linear logic, and process semantics

Date
2004
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
Bibliography : p. 142-145
Copyright Clearance Form: y
UARC
Keywords
Citation
Pastro, C. A. (2004). EII-polycategories, additive linear logic, and process semantics (Master's thesis, University of Calgary, Calgary, Canada). Retrieved from https://prism.ucalgary.ca. doi:10.11575/PRISM/21518