Subject
General Computer Science,Theoretical Computer Science
Reference15 articles.
1. Parallel reduction in type free λμ-calculus;Baba;Electron. Notes Theoret. Comput. Sci.,2001
2. A strong normalization result for classical logic;Barbanera;Ann. Pure Appl. Logic,1995
3. Lambda calculi with types;Barendregt,1992
4. λμ-calculus and Böhm's theorem;David;J. Symbolic Logic,2001
5. A CPS-translation for the λμ-calculus;de Groote,1994
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献