Publication
-
Call-by-value versus call-by-name: a proof-theoretic comparison : prepublication [Second print.] Tech Report
September 1976 -
An analysis of the convergence of newton-like methods for solving systems of nonlinear equations Tech Report
October 1976 -
A space-saving technique for assigning algol 68 multiple values Article
Information Processing Letters, 5(4), 97-99.October 1976 -
October 1976
-
January 1977
-
January 1977
-
Some non-isomorphic bibds b(4,1;v) Tech Report
January 1977 -
On the equation 1 + 2 +...+ x = : (preprint) Tech Report
January 1977