Author:
Asperti Andrea,Mairson Harry G.
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. (In)Efficiency and Reasonable Cost Models;Electronic Notes in Theoretical Computer Science;2018-10
2. (Leftmost-Outermost) Beta Reduction is Invariant, Indeed;Logical Methods in Computer Science;2016-03-09
3. The Useful MAM, a Reasonable Implementation of the Strong $$\lambda $$ -Calculus;Logic, Language, Information, and Computation;2016
4. Beta reduction is invariant, indeed;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 unified approach to fully lazy sharing;ACM SIGPLAN Notices;2012-01-18