Author:
Alves Sandra,Fernández Maribel,Florido Mário,Mackie Ian
Publisher
Springer Science and Business Media LLC
Subject
Computer Science Applications,Software
Reference40 articles.
1. Abramsky, S.: Computational interpretations of linear logic. Theor. Comput. Sci. 111, 3–57 (1993)
2. Alves, S.: Linearisation of the lambda calculus. Ph.D. thesis, Faculty of Science, University of Porto (April 2007). Available from http://www.dcc.fc.up.pt/sandra/papers/PhDthesis.pdf.gz
3. Lecture Notes in Computer Science;S. Alves,2006
4. Lecture Notes in Computer Science;S. Alves,2007
5. Alves, S., Fernández, M., Florido, M., Mackie, I.: The power of closed-reduction strategies. Electron. Notes Theor. Comput. Sci. 174(10), 57–74 (2007). Proceedings of WRS 2006, 6th International Workshop on Rewriting Strategies, FLOC 2006, Seattle
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Parameterized Algebraic Protocols;Proceedings of the ACM on Programming Languages;2023-06-06