Author:
CATTANI GIAN LUCA,WINSKEL GLYNN
Publisher
Cambridge University Press (CUP)
Subject
Computer Science Applications,Mathematics (miscellaneous)
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Fixpoint operators for 2-categorical structures;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26
2. A Categorical Semantics for Hierarchical Petri Nets;Electronic Proceedings in Theoretical Computer Science;2021-12-21
3. Intersection Type Distributors;2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2021-06-29
4. Bisimulation Maps in Presheaf Categories;Electronic Notes in Theoretical Computer Science;2019-11
5. Higher Dimensional Categories: Induction on Extensivity;Electronic Notes in Theoretical Computer Science;2018-12