N. P. Mendler

Publication Activity (10 Years)

Years Active: 1985-1995
Publications (10 Years): 0

Publications

N. P. Mendler, Prakash Panangaden, Philip J. Scott, Robert A. G. Seely
A Logical View of Concurrent Constraint Programming. Nord. J. Comput. 2 (2) (1995)
N. P. Mendler
Inductive Types and Type Constraints in the Second-Order lambda Calculus. Ann. Pure Appl. Log. 51 (1-2) (1991)
N. P. Mendler
Recursive Types and Type Constraints in Second-Order Lambda Calculus LICS (1987)
N. P. Mendler, Prakash Panangaden, Robert L. Constable
Infinite Objects in Type Theory LICS (1986)
Robert L. Constable, N. P. Mendler
Recursive Definitions in Type Theory. Logic of Programs (1985)