G. Sontacchi

Publication Activity (10 Years)

Years Active: 1990-1993
Publications (10 Years): 0

Publications

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