Context-Free Session Types for Applied Pi-Calculus.

Jens Aagaard Hans Hüttel Mathias Jakobsen Mikkel Kettunen

Published in: EXPRESS/SOS (2018)

Keyphrases

context free
context sensitive
machine learning
domain knowledge
context dependent
parse tree
grammatical inference