Cite this item

Liu, F. (2016). A Study of Capability-Based Effect Systems [Master thesis; Supervised by S. Stucki]. https://infoscience.epfl.ch/handle/20.500.14299/127137

Click Copy to copy the citation, or select the text manually.