Session Types Meet Separation Logic.

Jesper Bengtson

Published in: LFMTP (2014)

Keyphrases

machine learning
artificial intelligence
modal logic
predicate logic
information retrieval
learning algorithm
automated reasoning
multi valued
epistemic logic
delay insensitive