N. P. Mendler
发表
Robert L. Constable,
Prakash Panangaden,
N. P. Mendler,
1986,
LICS.
Robert L. Constable,
N. P. Mendler,
R. Constable,
1985,
Logic of Programs.
Prakash Panangaden,
Philip J. Scott,
R. A. G. Seely,
1995,
Nord. J. Comput..
N. P. Mendler,
N. Mendler,
N. P. Mendler,
1987,
LICS.
N. P. Mendler,
N. Mendler,
1991,
Ann. Pure Appl. Log..
Rance Cleaveland,
Robert L. Constable,
Prakash Panangaden,
1986
.