On characterizations of the basic feasible functionals, Part I
Journal of Functional Programming
Semantics of linear/modal lambda calculus
Journal of Functional Programming
A Categorical Setting for Lower Complexity
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |