A Fibrational Account of Local States

2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science ◽

10.1109/lics.2015.45 ◽

2015 ◽

Author(s):

Kenji Maillard ◽

Paul-Andre Mellies

Download Full-text