An Indexed Linear Logic for Idempotent Intersection Types (Long version).

Flavien Breuvart Federico Olimpieri

Published in: CoRR (2024)

Keyphrases

linear logic
fixed point
logical framework
expert systems
sequent calculus
proof theoretic
intuitionistic logic
multi agent
pairwise
general purpose
graphical models
constraint satisfaction