P. Peretti

List of publications from the DBLP Bibliography Server - FAQ

1979

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

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

Coauthor Index

1	Corrado Böhm	[1]
2	Mariangiola Dezani-Ciancaglini	[1]
3	Simona Ronchi Della Rocca	[1]