Giuseppe Jacopini

Publication Activity (10 Years)

Years Active: 1966-1975
Publications (10 Years): 0

Publications

Giuseppe Jacopini
A condition for identifying two elements of whatever model of combinatory logic. Lambda-Calculus and Computer Science Theory (1975)
Corrado Böhm, Giuseppe Jacopini
Flow diagrams, turing machines and languages with only two formation rules. Commun. ACM 9 (5) (1966)