Foundations of Logic and Functional Programming

Foundations of Logic and Functional Programming 1986: Trento, Italy

maintained by Schloss Dagstuhl LZI, founded at University of Trier