FUNCTIONAL PROGRAMMING:
FOUNDATIONS AND APPLICATIONS
Bibliography
Logical Frameworks
Proof-Theoretical Foundations of Functional Programming
Virtuous Circles
