Logic and Functional Programming

Author

Florent Schaffhauser

Published

2026.05.15

Disclaimer

This is a draft script for the lecture course Logic and functional programming held at Heidelberg University in the Summer semester of 2026. It is intended for the students of the course and not apt for wider distribution.

This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.