Client-Server Sessions in Linear Logic.

Zesen Qian G. A. Kavvos Lars Birkedal

Published in: CoRR (2020)

Keyphrases

client server
linear logic
fixed point
distributed databases
peer to peer
logic programming
mobile agents
cut elimination
sequent calculus
database server
desirable properties
database architectures
logical framework
distributed object
visual basic
metadata
software engineering
digital libraries