home
chat
references
tools
settings
help
processing...
home
items
linear type theory
Linear type Theory
References
Affine Logic for Constructive Mathematics. Michael Shulman. 2022.