| |
| 1975 | ||
|---|---|---|
| 2 | Giuseppe Jacopini: A condition for identifying two elements of whatever model of combinatory logic. Lambda-Calculus and Computer Science Theory 1975: 213-219 | |
| 1966 | ||
| 1 | EE | Corrado Böhm, Giuseppe Jacopini: Flow diagrams, turing machines and languages with only two formation rules. Commun. ACM 9(5): 366-371 (1966) |
| 1 | Corrado Böhm | [1] |