Normal view
MARC view
Programming on Calculus and computer Scienee Theory (1975 Mar. 25-27 : Rome) (Meeting Name)
Machine generated authority record.
Work cat.: (): Programming on Calculus and computer Scienee Theory (1975 Mar. 25-27 : Rome), Lambda-calculus and computer science theory, 1975
