Barendregt–Geuvers–Klop conjecture

Is every weakly normalizing pure type system also strongly normalizing?

Open the “Programming language theory” section on Wikipedia →

Source: List of unsolved problems in computer science (CC BY-SA 4.0)