| |
| 1993 | ||
|---|---|---|
| 3 | G. Jacopini, G. Sontacchi: General Recursive Functions in a Very Simply Interpretable Typed lambda-Calculus. Theor. Comput. Sci. 121(1&2): 169-178 (1993) | |
| 1990 | ||
| 2 | G. Jacopini, P. Mentrasti, G. Sontacchi: Reversible Turing Machines and Polynomial Time Reversibly Computable Functions. SIAM J. Discrete Math. 3(2): 241-254 (1990) | |
| 1 | G. Jacopini, G. Sontacchi: Reversible Parallel Computation: An Evolving Space-Model. Theor. Comput. Sci. 73(1): 1-46 (1990) | |
| 1 | G. Jacopini | [1] [2] [3] |
| 2 | P. Mentrasti | [2] |