Logical Relations

May 5, 2024

How to give those type systems some normal meaning