Proof of Type Soundness Using Logical Relation
2024-06-05This blog compares proving type soundness using traditional progress/preservation methods and logical relations1. Credits go to the original author of these ideas.
1
This blog compares proving type soundness using traditional progress/preservation methods and logical relations1. Credits go to the original author of these ideas.