The Bang Calculus and the Two Girard's Translations.

Giulio Guerrieri Giulio Manzonetto

Published in: Linearity-TLLA@FLoC (2018)

Keyphrases

machine translation
computer algebra
query translation
neural network
e learning
artificial intelligence
expert systems
information retrieval systems
relational calculus
qualitative spatial reasoning
automated deduction
provably correct