Author:
Alves Sandra,Fernández Maribel,Florido Mario,Mackie Ian
Subject
General Computer Science,Theoretical Computer Science
Reference15 articles.
1. Computational Interpretations of Linear Logic;Abramsky;Theoretical Computer Science,1993
2. The power of linear functions;Alves,2006
3. Combinatory weak reduction in lambda calculus;Çağman;Theoretical Computer Science,1998
4. Closed reduction in the λ-calculus;Fernández,1999
5. Closed reduction: explicit substitutions without alpha conversion;Fernández;Mathematical Structures in Computer Science,2005
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Geometry of synthesis iv;Proceedings of the 16th ACM SIGPLAN international conference on Functional programming;2011-09-19
2. Geometry of synthesis iv;ACM SIGPLAN Notices;2011-09-18
3. Linearity and iterator types for Gödel’s System;Higher-Order and Symbolic Computation;2010-03