Carolyn Talcott (auth.), Mauro Boscarol, Luigia Carlucci Aiello, Giorgio Levi (eds.)

Foundations of Logic and Functional Programming: Workshop Trento, Italy, December 15–19, 1986 Proceedings