SoSe 26 Type Theory & Logic & Functional Programming Notes

Preface

This is a Quarto book.

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