Theoretical Computer Science
Confluent term rewriting systems with membership conditions
1st international workshop on Conditional Term Rewriting Systems
Computational interpretations of linear logic
Theoretical Computer Science - Special volume of selected papers of the Sixth Workshop on the Mathematical Foundations of Programming Semantics, Kingston, Ont., Canada, May 1990
Combinatory reduction systems: introduction and survey
Theoretical Computer Science - A collection of contributions in honour of Corrado Bo¨hm on the occasion of his 70th birthday
Combinatory weak reduction in lambda calculus
Theoretical Computer Science
Confluence of Terminating Membership Conditional TRS
CTRS '92 Proceedings of the Third International Workshop on Conditional Term Rewriting Systems
Linear Types and Non Size-Increasing Polynomial Time Computation
LICS '99 Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science
Closed reduction: explicit substitutions without $\alpha$-conversion
Mathematical Structures in Computer Science
The Geometry of Linear Higher-Order Recursion
LICS '05 Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science
Theoretical Computer Science
Geometry of synthesis iv: compiling affine recursion into static hardware
Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
Linearity and iterator types for Gödel's System
Higher-Order and Symbolic Computation
| Hi-index | 0.00 |