A seminar talk on Logical Relations As Types