Author:
Liquori Luigi,Wack Benjamin
Subject
General Computer Science,Theoretical Computer Science
Reference34 articles.
1. Lambda Calculus: its Syntax and Semantics;Barendregt,1984
2. Lambda Calculi with Types;Barendregt,1992
3. Pure Patterns Type Systems;Barthe,2003
4. M. Clavel, F. Durán, and N. Martí-Oliet. Polytypic Programming in Maude. In Proc. of WRLA. ENTCS, 2000
5. Combinatory Logic, volume 1;Curry,1958
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Type Soundness for Path Polymorphism;Electronic Notes in Theoretical Computer Science;2016-07
2. Twenty years of rewriting logic;The Journal of Logic and Algebraic Programming;2012-10