The undecidability of Mitchell’s subtyping relation (1995)

by Joe B Wells