Publisher
Springer Berlin Heidelberg
Reference37 articles.
1. Lecture Notes in Computer Science;M. Abbott,2003
2. Lecture Notes in Computer Science;M. Abbott,2003
3. Abbott, M., Altenkirch, T., Ghani, N., McBride, C.: ∂ is for data - differentiating data structures. Fundamenta Informaticae 65, 1–28 (2005)
4. Altenkirch, T., Morris, P.: Indexed containers. In: LICS 2009, pp. 277–285 (2009)
5. Cattani, G.L., Winskel, G.: Profunctors, open maps, and bisimulation. Mathematical Structures in Computer Science 15, 553–614 (2005)
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Differential 2-rigs;Electronic Proceedings in Theoretical Computer Science;2023-08-07
2. A general framework for the semantics of type theory;Mathematical Structures in Computer Science;2023-03
3. The universal exponentiable arrow;Journal of Pure and Applied Algebra;2022-07
4. Modalities and Parametric Adjoints;ACM Transactions on Computational Logic;2022-04-06
5. Formal metatheory of second-order abstract syntax;Proceedings of the ACM on Programming Languages;2022-01-12