Search the dblp DataBase
N. P. Mendler :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
N. P. Mendler Recursive Types and Type Constraints in Second-Order Lambda Calculus [Citation Graph (0, 0)][DBLP ] LICS, 1987, pp:30-36 [Conf ] N. P. Mendler , Prakash Panangaden , Robert L. Constable Infinite Objects in Type Theory [Citation Graph (0, 0)][DBLP ] LICS, 1986, pp:249-255 [Conf ] Robert L. Constable , N. P. Mendler Recursive Definitions in Type Theory. [Citation Graph (0, 0)][DBLP ] Logic of Programs, 1985, pp:61-78 [Conf ] N. P. Mendler Inductive Types and Type Constraints in the Second-Order lambda Calculus. [Citation Graph (0, 0)][DBLP ] Ann. Pure Appl. Logic, 1991, v:51, n:1-2, pp:159-172 [Journal ] N. P. Mendler , Prakash Panangaden , Philip J. Scott , R. A. G. Seely A Logical View of Concurrent Constraint Programming. [Citation Graph (0, 0)][DBLP ] Nord. J. Comput., 1995, v:2, n:2, pp:181-220 [Journal ] Search in 0.003secs, Finished in 0.003secs