Linear type theories, semantics and action calculi
this thesis, we study linear type-theories and their semantics. We present a general framework for such type-theories, and prove certain decidability properties of its equality. We also present intuitionistic linear logic and Milner's action calculi as instances of the framework, and use our re...
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
University of Edinburgh
1997
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.561689 |