morphisms-of-computational-structures icon indicating copy to clipboard operation
morphisms-of-computational-structures copied to clipboard

Published 20 hours ago • verified publisher icon prathyvsh

Investigate bisimulation as a logical relation

Open prathyvsh opened this issue 4 years ago • 2 comments

https://arxiv.org/pdf/2003.13542.pdf

prathyvsh avatar Oct 22 '20 16:10 prathyvsh

An Introduction to Logical Relations — Lau Skorstengaard (2017): https://www.cs.ru.nl/~freek/courses/tt-2016/papers/skorstengaard.pdf

prathyvsh avatar Jun 02 '21 11:06 prathyvsh

Logic Relation and the Typed Lambda Calculus — Richard Statman (1985): https://core.ac.uk/download/pdf/82725939.pdf

prathyvsh avatar Jun 02 '21 11:06 prathyvsh