SoSe 26 Type Theory, Logic & Functional Programming Solutions

Author

Igor Dimitrov

Published

April 21, 2026

Preface

This is a Quarto book.

To learn more about Quarto books visit https://quarto.org/docs/books.