Some notes on syntactic logical relations for pure System F

Add to your list(s) Download to your calendar using vCal

• Dimitrios Vytiniotis, MSR
• Monday 10 November 2008, 12:45-14:00
• FW26.

If you have a question about this talk, please contact Matthew Parkinson.

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.

This talk is part of the Semantics Lunch (Computer Laboratory) series.

This talk is included in these lists:

• All Talks (aka the CURE list)
• Computer Laboratory talks
• FW26
• School of Technology
• Semantics Lunch (Computer Laboratory)
• de239's list

Note that ex-directory lists are not shown.