The Subtyping Problem for Second-Order Types is Undecidable.

Jerzy Tiuryn Pawel Urzyczyn

Published in: LICS (1996)

Keyphrases

higher order
database
data sets
information retrieval
information systems
objective function
sufficient conditions
high order