| |
| * | 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 | |
| 1 | Robert L. Constable | [1] [2] |
| 2 | Prakash Panangaden | [2] [5] |
| 3 | Philip J. Scott | [5] |
| 4 | R. A. G. Seely | [5] |