The Relational Model Is Injective for Multiplicative Exponential Linear Logic.

Daniel de Carvalho

Published in: CSL (2016)

Keyphrases

linear logic
fixed point
logical framework
sequent calculus
cut elimination
logic programming
inference rules
proof theoretic
proof search
intuitionistic logic
desirable properties
video sequences
natural deduction
sufficient conditions
object oriented
pairwise
machine learning