A Semantics for Propositions as Sessions.

Sam Lindley J. Garrett Morris

Published in: ESOP (2015)

Keyphrases

formal semantics
logic programming
semantic representation
real time
neural network
semantic information
schema mappings