P. Peretti

Publication Activity (10 Years)

Years Active: 1979-1979
Publications (10 Years): 0

Publications

Corrado Böhm, Mariangiola Dezani-Ciancaglini, P. Peretti, Simona Ronchi Della Rocca
A Discrimination Algorithm Inside lambda-beta-Calculus. Theor. Comput. Sci. 8 (1979)