Sigmapi-polycategories, additive linear logic, and process semantics

Simple item page
dc.contributor.advisorCockett, James Robin B.
dc.contributor.authorPastro, Craig Antonio
dc.date.accessioned2017-12-18T22:40:11Z
dc.date.available2017-12-18T22:40:11Z
dc.date.issued2004
dc.descriptionBibliography: p. 142-145en
dc.format.extentix, 168 leaves : ill. ; 30 cm.en
dc.identifier.citationPastro, C. A. (2004). Sigmapi-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/5179en_US
dc.identifier.doihttp://dx.doi.org/10.11575/PRISM/5179
dc.identifier.isbn0612933938en
dc.identifier.lccAC1 .T484 2004 P37en
dc.identifier.urihttp://hdl.handle.net/1880/106180
dc.language.isoeng
dc.publisher.institutionUniversity of Calgaryen
dc.publisher.placeCalgaryen
dc.rightsUniversity 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.titleSigmapi-polycategories, additive linear logic, and process semantics
dc.typemaster thesis
thesis.degree.disciplineComputer Science
thesis.degree.grantorUniversity of Calgary
thesis.degree.nameMaster of Science (MSc)
ucalgary.thesis.accessionTheses Collection 58.002:Box 1528 520492045
ucalgary.thesis.notesUARCen
ucalgary.thesis.uarcreleaseyen
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
ucalgary_2004_pastro_craig antonio_527116.pdf
Size:
6.37 MB
Format:
Adobe Portable Document Format
Description:
Thesis
Download
Collections
Legacy Theses