# Reference

0. [A Logical Approach to Type Soundness](https://iris-project.org/pdfs/2022-submitted-logical-type-soundness.pdf)