Foundations of Consistency Types for a Higher-Order Distributed Language.

Xin Zhao Philipp Haller

Published in: LCPC (2019)

Keyphrases

higher order
lambda calculus
high order
distributed systems
cooperative
multi agent
programming language
artificial intelligence
pairwise
fault tolerant
database
relational databases
lightweight
distributed environment
language learning
language processing
specification language
data sets