Foundations of logic and functional programming : proceedings - Boscarol M; Workshop on Foundations of Logic and Functional Programming( 1986 : Torento ); Workshop on Foundations of Logic and Functional Programming Torento, 1986 (Berlin Springer Verlag, 1986)
Keywords: Computer science; Functional programming