[logicchains]

There's a paper on the soundness of self types: https://homepage.divms.uiowa.edu/~astump/papers/fu-stump-rta...