A lower bound for full polymorphic type inference: Girard/ Reynolds typability is DEXPTIME-hard (1990)

by F Henglein