On Constructor Rewrite Systems and the Lambda-Calculus
ICALP '09 Proceedings of the 36th Internatilonal Collogquium on Automata, Languages and Programming: Part II
Some Remarks on Type Systems for Course-of-value Recursion
Electronic Notes in Theoretical Computer Science (ENTCS)
TLCA'07 Proceedings of the 8th international conference on Typed lambda calculi and applications
On the confluence of lambda-calculus with conditional rewriting
Theoretical Computer Science
Hi-index | 0.00 |