The marriage of bisimulations and Kripke logical relationslambda-the-ultimate.org2 points·avsaro··0 commentsOpen articleSaveView on HN