In Swansea, first workshop on lambda-calculus

 

In Swansea, at the first Workshop on lambda-calculus (1979)