C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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