Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication.

Henry DeYoung Luís Caires Frank Pfenning Bernardo Toninho

Published in: CSL (2012)

Keyphrases

linear logic
asynchronous communication
fixed point
message transmission
logic programming
proof theoretic
logical framework
sequent calculus
cut elimination
desirable properties
intuitionistic logic
proof search
higher order
machine learning
instant messaging
inference rules
data model