https://plsl.acp.sdu.dk/tags/parametricity/ Recent content in Parametricity on PLUSLE Hugo en-GB © ACP Thu, 04 Jun 2026 08:00:00 +0100 https://plsl.acp.sdu.dk/posts/2026-06-24-universal-types-and-relational-substitutions/ Thu, 04 Jun 2026 08:00:00 +0100 https://plsl.acp.sdu.dk/posts/2026-06-24-universal-types-and-relational-substitutions/ <p>This meeting is a very beginner-friendly refresher on the interplay between parametricity and logical relations to prove program equivalence. <a href="https://plsl.acp.sdu.dk/contact/">Upon request</a>, the session will be hosted as a hybrid event.</p> <p>We will meet again in autumn. Enjoy your summer!</p> <h2 id="material">Material</h2> <p>The material to be read <strong>before</strong> the meeting is chapter 4 from <a href="https://www.cs.uoregon.edu/research/summerschool/summer16/notes/AhmedLR.pdf">Skorstengaard, L.: An Introduction to Logical Relations, https://arxiv.org/abs/1907.11133</a>. Try to solve the exercise at the end of the chapter!</p> <h2 id="abstract-of-the-entire-tutorial">Abstract (of the entire tutorial)</h2> <blockquote> <p>Logical relations (LR) have been around for many years, and today they are used in many formal results. However, it can be difficult to LR beginners to find a good place to start to learn. Papers often use highly specialized LRs that use the latest advances of the technique which makes it impossible to make a proper presentation within the page limit.</p>