Author:
Díaz-Caro Alejandro,Dowek Gilles
Publisher
Open Publishing Association
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Polymorphic System I;IFL 2020: Proceedings of the 32nd Symposium on Implementation and Application of Functional Languages;2020-09-02
2. The probability of non-confluent systems;Electronic Proceedings in Theoretical Computer Science;2014-03-30
3. Linearity in the Non-deterministic Call-by-Value Setting;Logic, Language, Information and Computation;2012