On introducing higher order functions in ABEL
Nordic Journal of Computing
RANK 2 INTERSECTION TYPE ASSIGNMENT IN TERM REWRITING SYSTEMS
Fundamenta Informaticae
Semantic Types and Approximation for Featherweight Java
Theoretical Computer Science
Hi-index | 0.00 |