soundness.md « type_theory « bookmark « documentation - lux - fork of https://github.com/LuxLang/lux for my bookshelf

about summary refs log tree commit diff

path: root/documentation/bookmark/type_theory/soundness.md

blob: 1a63d68ad9a49894fa0d5863ccf22feecf3bc22a (plain)

# Reference

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