Actris: session-type based reasoning in separation logic.

Jonas Kastberg Hinrichsen Jesper Bengtson Robbert Krebbers

Published in: Proc. ACM Program. Lang. (2020)

Keyphrases

neural network
logical framework
artificial intelligence
image processing
multi valued
classical logic