Lukas' Notes

Type Theory

1 min read

type-theory

Backlinks

Curry-Howard Correspondence
Subtype Polymorphism

Created with Quartz v4.5.2 © 2026

GitHub