Recursive Programs
Partial Functions
Partial Functions
Hereditary Termination and Logical Equivalence Recap
An example to start off
This is a project I did in my undergrad, so I might forget some of the details. Also some of the design choices might seen stupid for now, but I am writing t...
Introduction
We can think of category theory as a generalized set theory, where in set theory we have sets and $\in$, but in category theory we have objects and arrows, w...