Formalising Actors in Linear Logic.

John Darlington Yike Guo

Published in: OOIS (1994)

Keyphrases

linear logic
fixed point
social networks
proof theoretic
logic programming
sequent calculus
cut elimination
intuitionistic logic
proof search
desirable properties
logical framework
inference rules
video sequences
knowledge representation
graphical models
post processing