Sign in

Logical Relations for Session-Typed Concurrency.

Stephanie BalzerFarzaneh DerakhshanRobert HarperYue 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