Pseudo-distributive laws and axiomatics for variable binding-Reference-Cited by-同舟云学术

Pseudo-distributive laws and axiomatics for variable binding

Published:2006-09 Issue:2-3 Volume:19 Page:305-337
ISSN:1388-3690
Container-title:Higher-Order and Symbolic Computation
language:en
Short-container-title:Higher-Order Symb Comput

Author:

Tanaka Miki,Power John

Publisher

Springer Science and Business Media LLC

Subject

Computer Science Applications,Software

Link

http://link.springer.com/content/pdf/10.1007/s10990-006-8750-x.pdf

Reference32 articles.

1. Barber, A., Gardner, P., Hasegawa, M., Plotkin, G.: From action calculi to linear logic. In: Proceedings CSL 97, LNCS 1414, pp. 78–97 (1998)

2. Blackwell, R., Kelly, G.M., Power, A.J.: Two-dimensional monad theory. J. Pure Appl. Algebra 59, 1–41 (1989)

3. Cheng, E., Hyland, J.M.E., Power, A.J.: Pseudo-distributive laws. In: Proc. MFPS 03, ENTCS 83, (2003)

4. Day, B.J.: On closed categories of functors. In Midwest Category Seminar Reports IV, vol. 137 of Lecture Noes in Mathematics, pp. 1–38 (1970)

5. Fiore, M.: Semantic analysis of normalisation by evaluation for typed lambda calculus. In: Proceedings PPDP 02, ACM Press, pp. 26–37 (2002)

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Effectful semantics in bicategories: strong, commutative, and concurrent pseudomonads;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08

2. A Formal Treatment of Bidirectional Typing;Lecture Notes in Computer Science;2024

3. The linear-non-linear substitution 2-monad;Electronic Proceedings in Theoretical Computer Science;2021-02-08

4. Substitution, jumps, and algebraic effects;Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2014-07-14

5. A Presheaf Environment for the Explicit Fusion Calculus;Journal of Automated Reasoning;2011-03-17