Marcelo P. Fiore John Power Vladimiro Sassone Peter Sewell Ian Stark Glynn Winskel