Systematic Translation of Formalizations of Type Theory from Intrinsic to Extrinsic Style.

Florian Rabe Navid Roux

Published in: LFMTP (2021)

Keyphrases

theoretical framework
machine translation
theoretical basis
computer vision
e learning
rough sets
data sets
website
d objects
computational model
situation calculus