Publication
-
September 1976
-
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