Setoid Type Theory - A Syntactic Translation.

Thorsten Altenkirch Simon Boulier Ambrus Kaposi Nicolas Tabareau

Published in: MPC (2019)

Keyphrases

theoretical framework
machine translation
theoretical basis
computer vision
natural language
knowledge representation
word alignment
data sets
real world
clustering algorithm
expert systems
theoretical foundation
syntactic semantic