Inductive Types and Type Constraints in the Second-Order lambda Calculus

@article{Mendler1991InductiveTA,
  title={Inductive Types and Type Constraints in the Second-Order lambda Calculus},
  author={N. P. Mendler},
  journal={Ann. Pure Appl. Logic},
  year={1991},
  volume={51},
  pages={159-172}
}
Highly Influential
This paper has highly influenced 21 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS