| |
| 1977 | ||
|---|---|---|
| 5 | Luigia Carlucci Aiello, Mario Aiello, Richard W. Weyhrauch: Pascal in LCF: Semantics and Examples of Proof. Theor. Comput. Sci. 5(2): 135-177 (1977) | |
| 1976 | ||
| 4 | Luigia Carlucci Aiello, Mario Aiello, Giuseppe Attardi, P. Cavallari, Gianfranco Prini: Formal Definition of Semantics of Generated Control Regimes. MFCS 1976: 173-179 | |
| 1975 | ||
| 3 | Mario Aiello, Richard W. Weyhrauch: Checking Proofs in the Metamathematics of First Order Logic. IJCAI 1975: 1-8 | |
| 2 | Luigia Carlucci Aiello, Mario Aiello: Programming language semantics in a typed lambda - calculus. Lambda-Calculus and Computer Science Theory 1975: 240-251 | |
| 1974 | ||
| 1 | Luigia Aiello, Mario Aiello: Proving program correctness in L. C. F.. Symposium on Programming 1974: 59-71 | |
| 1 | Luigia Carlucci Aiello (Luigia Aiello) | [1] [2] [4] [5] |
| 2 | Giuseppe Attardi | [4] |
| 3 | P. Cavallari | [4] |
| 4 | Gianfranco Prini | [4] |
| 5 | Richard W. Weyhrauch | [3] [5] |