Distributed and concurrent objects based on linear logic (Invited Talk).

Naoki Kobayashi Akinori Yonezawa

Published in: FMOODS (1999)

Keyphrases

invited talk
linear logic
fixed point
selected papers
knowledge discovery and data mining
intuitionistic logic
database
multi agent
expert systems
graphical models
desirable properties
sequent calculus
cut elimination
proof theoretic