Title: Foundations of Logic and Functional Programming Workshop
Subjects: Congresses, Functional programming (Computer science), Symbolic and mathematical Logic