1981 | ||
---|---|---|
4 | Luigia Carlucci Aiello, Gianfranco Prini: An Efficient Interpreter for the Lambda-Calculus. J. Comput. Syst. Sci. 23(3): 383-424 (1981) | |
1979 | ||
3 | Gianfranco Prini: Stack Implementation of Shallow Binding in Languages with Mixed Scoping. Inf. Process. Lett. 9(3): 143-154 (1979) | |
1976 | ||
2 | Giuseppe Attardi, Carlo Montangero, Gianfranco Prini: A High Level Machine for Artificial Intelligence. AISB (ECAI) 1976: 26-37 | |
1 | Luigia Carlucci Aiello, Mario Aiello, Giuseppe Attardi, P. Cavallari, Gianfranco Prini: Formal Definition of Semantics of Generated Control Regimes. MFCS 1976: 173-179 |
1 | Luigia Carlucci Aiello (Luigia Aiello) | [1] [4] |
2 | Mario Aiello | [1] |
3 | Giuseppe Attardi | [1] [2] |
4 | P. Cavallari | [1] |
5 | Carlo Montangero | [2] |