On the complexity of beta-reduction
POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
On global dynamics of optimal graph reduction
ICFP '97 Proceedings of the second ACM SIGPLAN international conference on Functional programming
Parallel beta reduction is not elementary recursive
Information and Computation
Higher-order value flow graphs
Nordic Journal of Computing
From Hilbert Spaces to Dilbert Spaces: Context Semantics Made Simple
FST TCS '02 Proceedings of the 22nd Conference Kanpur on Foundations of Software Technology and Theoretical Computer Science
Static Analysis of Modularity of beta-Reduction in the Hyperbalanced lambda-Calculus
RTA '02 Proceedings of the 13th International Conference on Rewriting Techniques and Applications
Weak linearization of the lambda calculus
Theoretical Computer Science - Applied semantics: Selected topics
A Fully Labelled Lambda Calculus: Towards Closed Reduction in the Geometry of Interaction Machine
Electronic Notes in Theoretical Computer Science (ENTCS)
Relating complexity and precision in control flow analysis
ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
Infinitary Combinatory Reduction Systems
Information and Computation
Linear Logic, Comonads And Optimal Reductions
Fundamenta Informaticae
The Cost of Usage in the ?-Calculus
LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
| Hi-index | 0.00 |