| |
| 1993 | ||
|---|---|---|
| 4 | 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 | ||
| 3 | G. Jacopini, P. Mentrasti, G. Sontacchi: Reversible Turing Machines and Polynomial Time Reversibly Computable Functions. SIAM J. Discrete Math. 3(2): 241-254 (1990) | |
| 2 | G. Jacopini, G. Sontacchi: Reversible Parallel Computation: An Evolving Space-Model. Theor. Comput. Sci. 73(1): 1-46 (1990) | |
| 1989 | ||
| 1 | G. Jacopini, P. Mentrasti: Generation of Invertible Functions. Theor. Comput. Sci. 66(3): 289-297 (1989) | |
| 1 | P. Mentrasti | [1] [3] |
| 2 | G. Sontacchi | [2] [3] [4] |