Journal Higher-Order and Symbolic Computation
From Semantic Portal Wiki
A list of all pages that have property "Journal" with value "Higher-Order and Symbolic Computation"- Tree rerooting in distributed garbage collection: implementation and performance evaluation +
- A syntactic theory of dynamic binding +
