Functional translation of a calculus of capabilities.

Arthur Charguéraud François Pottier

Published in: ICFP (2008)

Keyphrases

machine translation system
neural network
machine translation
computational power
social networks
information systems
query translation
formal language
functional analysis