Before revision: It was discovered independently by logician Jean-Yves Girard (1972) and computer scientist John C. Reynolds (1974).
After revision: It was discovered independently by logician Jean-Yves Girard (1972) and computer scientist John C. Reynolds