The undecidability ofMitchell's subtyping relation (1995)

by J B Wells