Publisher
Springer Science and Business Media LLC
Subject
General Computer Science,Theoretical Computer Science,Algebra and Number Theory
Reference32 articles.
1. Aczel, P.: The type theoretic interpretation of constructive set theory. Volume 77 of Logic Colloquium, pp. 55–66, North-Holland (1978)
2. Language, Information and Computation;B Ahrens,2012
3. Ahrens, B.: Modules over relative monads for syntax and semantics. Math. Struct. Comput. Sci. 26(1), 3–37 (2016)
4. Altenkirch, T., Chapman, J., Uustalu, T.: Monads need not to be endofunctors. Log. Methods Comput. Sci. 11(1:3), 1–40 (2015)
5. Arkor, N.: Monadic and Higher-Order Structure. PhD thesis, University of Cambridge, (2022)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The formal theory of relative monads;Journal of Pure and Applied Algebra;2024-09