N. P. Mendler

1995
5		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
4		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
3		N. P. Mendler: Recursive Types and Type Constraints in Second-Order Lambda Calculus LICS 1987: 30-36
1986
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	Robert L. Constable	[1] [2]
2	Prakash Panangaden	[2] [5]
3	Philip J. Scott	[5]
4	R. A. G. Seely	[5]