Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Ahrens, B.: Modules over relative monads for syntax and semantics (2011),
http://arxiv.org/abs/1107.5252
(to be published in Math. Struct. in Comp. Science)
2. Ahrens, B.: Extended Initiality for Typed Abstract Syntax. Logical Methods in Computer Science 8(2), 1–35 (2012)
3. Ahrens, B.: Initiality for Typed Syntax and Semantics. Ph.D. thesis, University of Nice Sophia Antipolis, France (2012),
http://benedikt-ahrens.org
4. Lecture Notes in Computer Science;T. Altenkirch,2010
5. Coq: The Coq Proof Assistant (2010),
http://coq.inria.fr
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Distributive Laws for Relative Monads;Applied Categorical Structures;2023-04
2. Implementing a category-theoretic framework for typed abstract syntax;Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs;2022-01-11
3. INITIAL SEMANTICS FOR REDUCTION RULES;LOG METH COMPUT SCI;2019
4. Monads need not be endofunctors;Logical Methods in Computer Science;2015-03-06
5. Full Abstraction for Fair Testing in CCS;Algebra and Coalgebra in Computer Science;2013