A Sound and Complete CPS-Translation for lambda-mu-Calculus.

Ken-etsu Fujita

Published in: TLCA (2003)

Keyphrases

machine translation
provably correct
relational databases
data sets
neural network
website
first order logic
fixed point
cross language
automated deduction