On the semantics of the call-by-name CPS transform.

Published in: Theor. Comput. Sci. (2000)

Keyphrases

logic programming
formal semantics
semantic representation
real time
neural network
learning algorithm
artificial intelligence
web services
semantic information