Stephen H. McCleary

Publication Activity (10 Years)

Years Active: 1967-2005
Publications (10 Years): 0

Publications

W. Charles Holland, Salma Kuhlmann, Stephen H. McCleary
Lexicographic exponentiation of chains. J. Symb. Log. 70 (2) (2005)
Stephen H. McCleary
Primitive recursive computations. Notre Dame J. Formal Log. 8 (4) (1967)