Client-server sessions in linear logic.
Zesen QianG. A. KavvosLars BirkedalPublished in: Proc. ACM Program. Lang. (2021)
Keyphrases
- client server
- linear logic
- fixed point
- mobile agents
- database architectures
- distributed databases
- cut elimination
- logic programming
- peer to peer
- database server
- sequent calculus
- visual basic
- desirable properties
- client server databases
- distributed object
- real time transaction processing
- data mining
- data model
- expert systems
- natural deduction
- client server architecture
- logic programs
- markov random field