Linear-Algebraic Models of Linear Logic as Categories of Modules over Sigma-Semirings.

Takeshi Tsukada Kazuyuki Asada

Published in: CoRR (2022)

Keyphrases

linear logic
logical framework
machine learning
linear model
expert systems
object oriented
sequent calculus