N. P. Mendler

	1995
6		N. P. Mendler, Prakash Panangaden, Philip J. Scott, R. A. G. Seely: A Logical View of Concurrent Constraint Programming. Nord. J. Comput. 2(2): 181-220 (1995)
	1991
5		N. P. Mendler: Inductive Types and Type Constraints in the Second-Order lambda Calculus. Ann. Pure Appl. Logic 51(1-2): 159-172 (1991)
	1987
4		N. P. Mendler: Recursive Types and Type Constraints in Second-Order Lambda Calculus LICS 1987: 30-36
	1986
3		Robert L. Constable, Stuart F. Allen, Mark Bromley, Rance Cleaveland, J. F. Cremer, R. W. Harper, Douglas J. Howe, Todd B. Knoblock, N. P. Mendler, Prakash Panangaden, James T. Sasaki, Scott F. Smith: Implementing mathematics with the Nuprl proof development system. Prentice Hall 1986: I-X, 1-299
2		N. P. Mendler, Prakash Panangaden, Robert L. Constable: Infinite Objects in Type Theory LICS 1986: 249-255
	1985
1		Robert L. Constable, N. P. Mendler: Recursive Definitions in Type Theory. Logic of Programs 1985: 61-78

Coauthor Index

1	Stuart F. Allen	[3]
2	Mark Bromley	[3]
3	Rance Cleaveland	[3]
4	Robert L. Constable	[1] [2] [3]
5	J. F. Cremer	[3]
6	R. W. Harper	[3]
7	Douglas J. Howe	[3]
8	Todd B. Knoblock	[3]
9	Prakash Panangaden	[2] [3] [6]
10	James T. Sasaki	[3]
11	Philip J. Scott	[6]
12	R. A. G. Seely	[6]
13	Scott F. Smith	[3]

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page