Home

Proofs

Library

Chat

Docs

Notif.

Billing

Settings

Sign in

home

library

entries

linear type theory

Linear type Theory

References

Affine Logic for Constructive Mathematics. Michael Shulman. 2022.