Ulrik Rasmussen, Andrzej Filinski. Structural logical relations with case analysis and equality reasoning. In Alberto Momigliano, Brigitte Pientka, Randy Pollack, editors, Proceedings of the Eighth ACM SIGPLAN International Workshop on Logical Frameworks & Meta-languages: Theory & Practice, LFMTP 2013, Boston, Massachusetts, USA, September 23, 2013. pages 43-54, ACM, 2013. [doi]
Abstract is missing.