Foundations of Logic and Functional Programming Workshop (1986 Trento, Italy)
Books by Foundations of Logic and Functional Programming Workshop (1986 Trento, Italy) on BookTides.