Luigia Carlucci Aiello Mario Aiello Programming language semantics in a typed lambda - calculus. 240-251 1975 conf/lambda/1975 Lambda-Calculus and Computer Science Theory db/conf/lambda/lambda1975.html#AielloA75