A. Khamiss

Publication Activity (10 Years)

Years Active: 1987-1987
Publications (10 Years): 0

Publications

Roland Carl Backhouse, A. Khamiss
A While-Rule in Martin-Löf's Theory of Types. Comput. J. 30 (1) (1987)