Call Me Back, I Have a Type Invariant.

M. Anthony Aiello, Johannes Kanig, Taro Kurita

Browse the full FM paper archive.