Mechanizing Session-Types using a Structural View: Enforcing Linearity without Linearity.

Chuta Sano Ryan Kavanagh Brigitte Pientka

Published in: CoRR (2023)

Keyphrases

d objects
databases
learning algorithm
web pages
three dimensional
similarity measure
objective function
search algorithm
pairwise
search space
multiresolution
mobile robot
multiple views