Publication
-
Needed reduction and spine strategies for the lambda calculus Article
Information and Computation, 75(3), 191-231.January 1987 -
The numerical solution of nonlinear Volterra integral equations of the second kind by collocation and iterated collocation methods Article
Journal on Scientific and Statistical Computing, 8(5), 806-830.January 1987 -
Display architecture for VLSI-based graphics workstations In Proceedings
January 1987 -
Lower bounds for a class of Kostka numbers Article
Ars Combinatoria, 121-129.January 1987 -
Preservation of products by functors close to reflectors In Proceedings
January 1987 -
January 1987 -
Some variations on RSA signatures & their security In Proceedings
January 1987 -
Corrigendum: 'On the odd-even hopscotch scheme for the numerical integration of time-dependent partial differential equations' Article
Applied Numerical Mathematics, 3(4), 361-362.January 1987