Logical Relations for Session-Typed Concurrency.

Stephanie Balzer Farzaneh Derakhshan Robert Harper Yue Yao

Published in: CoRR (2023)

Keyphrases

lambda calculus
logical structure
higher order
concurrency control
data mining
database systems
database
genetic algorithm
fine grained
attribute values
spatial relations
predicate calculus
logical reasoning