home
items
linear type theory

Linear type Theory

Contents

References

References

Michael Shulman. Affine Logic for Constructive Mathematics. 2022.

Maths

Home
Items
Authors
References

Projects

Rewrites

Resources

Unicode

Company

About
Solutions
Careers
Contact

Privacy
Terms
Licences
Site Map

© 2023 Synthetic