A focused linear logical framework and its application to metatheory of object logics
Sign Up to like & getrecommendations! 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