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
Philosophy

Company

About
Jobs
Products
Contact
Documents

Privacy
Terms
Licences
Site Map

© 2023 Synthetic