Travelled to:2 × USA
Collaborated with:∅ P.Panangaden R.L.Constable
Talks about:type (3) constraint (1) calculus (1) infinit (1) theori (1) second (1) recurs (1) object (1) order (1)
Person: N. P. Mendler
DBLP: Mendler:N=_P=
Contributed to:
19871986Wrote 2 papers:
- LICS-1987-Mendler #constraints #higher-order #recursion #λ-calculus
- Recursive Types and Type Constraints in Second-Order λ Calculus (NPM), pp. 30–36.
- LICS-1986-MendlerPC #infinity #type system
- Infinite Objects in Type Theory (NPM, PP, RLC), pp. 249–255.