A. Khamiss

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1987

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

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

Coauthor Index