Linear type theories, semantics and action calculi

  title={Linear type theories, semantics and action calculi},
  author={Andrew G. Barber},
In 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 results to show decidability of their respective equality judgements. Firstly, we motivate our development by giving a split-context logic and typetheory, called dual intuitionistic linear logic (DILL… CONTINUE READING
Highly Influential
This paper has highly influenced 11 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 63 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 41 extracted citations

63 Citations

Citations per Year
Semantic Scholar estimates that this publication has 63 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…