Author:
Basaldella Michele,Faggian Claudia
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Jump from parallel to sequential proofs: exponentials;Mathematical Structures in Computer Science;2016-12-05
2. Infinitary affine proofs;Mathematical Structures in Computer Science;2015-07-07
3. Incarnation in Ludics and maximal cliques of paths;Logical Methods in Computer Science;2013-10-16
4. The Lambda Lambda-Bar calculus;ACM SIGPLAN Notices;2013-01-23
5. An Infinitary Affine Lambda-Calculus Isomorphic to the Full Lambda-Calculus;2012 27th Annual IEEE Symposium on Logic in Computer Science;2012-06