dblp.uni-trier.de

R. Backhouse

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1A. Khamiss [1]


DBLP: [Home | Search: Author, Title | Conferences | Journals]
Michael Ley (ley@uni-trier.de) Fri Mar 30 21:28:02 2007