Author:
Alves Sandra,Fernández Maribel,Florido Mário,Mackie Ian
Publisher
Springer Berlin Heidelberg
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. An Interaction Net Encoding of Gödel’s System $$\mathcal {T}$$;Functional and Logic Programming;2016
2. On the reification of semantic linearity;Mathematical Structures in Computer Science;2014-11-10
3. Least and Greatest Fixed Points in Linear Logic;ACM Transactions on Computational Logic;2012-01
4. Linearity and PCF;Proceedings of the 16th ACM SIGPLAN international conference on Functional programming;2011-09-19
5. Linearity and PCF;ACM SIGPLAN Notices;2011-09-18