home
items
linear type theory
Linear type Theory
Contents
References
References
Michael Shulman. Affine Logic for Constructive Mathematics. 2022.