Sign Up to like & get
recommendations!
0
Published in 2021 at "Mathematical Structures in Computer Science"
DOI: 10.1017/s0960129521000323
Abstract: Abstract Linear logic (LL) has been used as a foundation (and inspiration) for the development of programming languages, logical frameworks, and models for concurrency. LL’s cut-elimination and the completeness of focusing are two of its…
read more here.
Keywords:
linear logical;
focused linear;
elimination;
cut elimination ... See more keywords