Login / Signup
Quantifying Over Eventualities in Continuation Semantics.
Anca Dinu
Published in:
J. Multiple Valued Log. Soft Comput. (2012)
Keyphrases
</>
semantic information
formal semantics
logic programming
real world
semantic representation
operational semantics
proof theory
search engine
logic programs
specification language