X-2016-01: Giovanni Ciná, Sebastian Enqvist Bisimulation and path logic for sheaves: contextuality and beyond 1.Full Text, 2.Abstract. < Back
