Concepedia

N. P. Mendler

NP

Statistics

Publications

4

Citations

264

H-Index

4

Active since

1986

Affiliations

University of Manchester(Current)

N. P. Mendler is an author at University of Manchester specializing in type theory, type systems, and computing.

Publications per year

1986–2002

4

Publications

4

Inductive types and type constraints in the second-order lambda calculus

N. P. Mendler · Annals of Pure and Applied Logic · 1991 · 126 citations

, , +13

Recursive Types and Type Constraints in Second-Order Lambda Calculus

N. P. Mendler · Logic in Computer Science · 1987 · 96 citations

, , +14

Infinite Objects in Type Theory

N. P. Mendler, Prakash Panangaden, Robert L. Constable · eCommons (Cornell University) · 1986 · 26 citations · Full text

, , +6

Predictive type universes and primitive recursion

N. P. Mendler · 2002 · 16 citations

, , +15

1–4 of 4