Talks.cam

Some notes on syntactic logical relations for pure System F - Dimitrios Vytiniotis, MSR
2008-11-10 12:45 - 14:00 UTC | FW26
In this talk I will describe various notions of syntactic
logical relations for pure System F without recursion. I will then
attempt to connect these relations to various notions of bisimulation
and observational equivalence. It turns out that even in this simple
setting the connection of these logical relations to observational
equivalence is not obvious; and I will be explaining the complications
and some ideas to solve this problem. There are few novel results in
this talk so this is mainly a call for discussion on ways forward.
