Author:
Breazu-Tannen V.,Kesner D.,Puel L.
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The Relational Machine Calculus;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
2. From Functional Programs to Interaction Nets via the Rewriting Calculus;Electronic Notes in Theoretical Computer Science;2007-07
3. Basic Pattern Matching Calculi: a Fresh View on Matching Failure;Functional and Logic Programming;2004
4. Structural Cut Elimination;Information and Computation;2000-02
5. A note on full intuitionistic linear logic;Annals of Pure and Applied Logic;1996-06