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