Bohm, C. (Corrado) 1923- (Personal Name)

Number of records used in: 1

Preferred form: Bohm, C. (Corrado) 1923-

Machine generated authority record.

Work cat.: (): Programming on Calculus and computer Scienee Theory (1975 Mar. 25-27 : Rome) 454448, Lambda-calculus and computer science theory, 1975