EII-polycategories, additive linear logic, and process semantics
dc.contributor.advisor | Cockett, James Robin B. | |
dc.contributor.author | Pastro, Craig Antonio | |
dc.date.accessioned | 2005-08-16T17:17:28Z | |
dc.date.available | 2005-08-16T17:17:28Z | |
dc.date.issued | 2004 | |
dc.identifier.citation | Pastro, C. A. (2004). EII-polycategories, additive linear logic, and process semantics (Unpublished master's thesis). University of Calgary, Calgary, AB. doi:10.11575/PRISM/21518 | en_US |
dc.identifier.uri | http://hdl.handle.net/1880/41869 | |
dc.description | Bibliography : p. 142-145 | en |
dc.description | Copyright Clearance Form: y | en |
dc.description | UARC | en |
dc.format.extent | ix, 168 leaves : ill. ; 30 cm. | en |
dc.language.iso | eng | |
dc.rights | University of Calgary graduate students retain copyright ownership and moral rights for their thesis. You may use this material in any way that is permitted by the Copyright Act or through licensing that has been assigned to the document. For uses that are not allowable under copyright legislation or licensing, you are required to seek permission. | |
dc.title | EII-polycategories, additive linear logic, and process semantics | |
dc.type | master thesis | |
dc.publisher.institution | University of Calgary | en |
dc.identifier.doi | http://dx.doi.org/10.11575/PRISM/21518 | |
thesis.degree.name | Master of Science (MSc) | |
thesis.degree.discipline | Computer Science | |
thesis.degree.grantor | University of Calgary | |
dc.publisher.place | Calgary | en |
ucalgary.thesis.accession | Theses Collection 58.002:Box 1528 520492045 |
Files in this item
This item appears in the following Collection(s)
-
Restricted Theses
Theses available for hard copy consultation or upon request.
University of Calgary graduate students retain copyright ownership and moral rights for their thesis. You may use this material in any way that is permitted by the Copyright Act or through licensing that has been assigned to the document. For uses that are not allowable under copyright legislation or licensing, you are required to seek permission.