Login / Signup
The undecidability of type related problems in the type-free style System F with finitely stratified polymorphic types.
Ken-etsu Fujita
Aleksy Schubert
Published in:
Inf. Comput. (2012)
Keyphrases
</>
related problems
learning algorithm
artificial intelligence
information systems
image processing
finite number
computer vision
decision making
data structure
relational databases
knn
description logics
multi dimensional
multiple types
type checking