second-order lambda calculi with recursive types (1986)

by First-