Authors G. CinaN.J.S. Enqvist Date (dd-mm-yyyy) 2015 Title Bisimulation and path logic for sheaves Publication Year 2015 Document type Conference contribution Permalink https://hdl.handle.net/11245/1.508563