search

prathyvsh / morphisms-of-computational-structures

A visual catalogue + story of morphisms displayed across computational structures.
https://patternatlas.com/
122 stars 6 forks source link

Investigate bisimulation as a logical relation #33

Open prathyvsh opened 4 years ago

prathyvsh commented 4 years ago

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

prathyvsh commented 3 years ago

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

prathyvsh commented 3 years ago

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