Home
Proofs
Library
Chat
Docs
Notif.
Settings
Sign in
home
library
entries
linear type theory
Linear type Theory
References
Affine Logic for Constructive Mathematics. Michael Shulman. 2022.
