SoSe 26 Type Theory, Logic & Functional Programming Solutions

Preface

This is a Quarto book.

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