Lambda-calculus and type theory form a foundational framework in computer science and mathematical logic, offering a formal approach to modelling computation and reasoning about programs. At its core, ...

This repository contains some example code I wrote while working through the following paper (unaffiliated) and experimenting with the topic: Małgorzata Biernacka, Witold Charatonik, and Tomasz Drab, ...

Application $\mu:L^{\times 2}\rightarrow L \text{ and } (y\cdot x) = (yx):=\mu(y,x)$ Degree of negligence $\delta:L\rightarrow \mathbb Z \text{ and } L_{\geq 0}:={x ...