The undecidability of Mitchell’s subtyping relation (1995)

by J B Wells