Non-determinism in a linear logic type discipline: A concrete categorical perspective.

Alejandro Díaz-Caro Octavio Malherbe

Published in: CoRR (2023)

Keyphrases

linear logic
fixed point
information systems
logical framework
sequent calculus
intuitionistic logic
pairwise
logic programming
inference rules
categorical data
proof search
proof theoretic
machine learning
dynamic programming
higher order
desirable properties