Publisher
Centre pour la Communication Scientifique Directe (CCSD)
Subject
General Computer Science,Theoretical Computer Science
Reference42 articles.
1. Full Abstraction for PCF
2. Henk P. Barendregt.The Lambda Calculus. North Holland, revised edition, 1984.
3. Denis Bechet. Partial evaluation of interaction nets. InProceedings of WSA '92, pages 331-338, 1992.
4. Chantal Berline, Giulio Manzonetto, and Antonino Salibra. Lambda theories of effective lambda models. In Jacques Duparc and Thomas A. Henzinger, editors,Proceedings of CSL2007, volume 4646 ofLecture Notes in Computer Science, pages 268-282. Springer, 2007.
5. Effective λ-models versus recursively enumerable λ-theories
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On context semantics and interaction nets;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