Encodings of Turing machines in linear logic
Sign Up to like & getrecommendations! Published in 2020 at "Mathematical Structures in Computer Science"
DOI: 10.1017/s0960129520000109
Abstract: Abstract The Sweedler semantics of intuitionistic differential linear logic takes values in the category of vector spaces, using the cofree cocommutative coalgebra to interpret the exponential and primitive elements to interpret the differential structure. In… read more here.
Keywords: linear logic; machines linear; semantics; encodings turing ... See more keywords