#Proof-Theory

1 post in tag “Proof-Theory”.

Linear Logic: Girard's Resource-Sensitive Logic, Exponential Modalities, and Linear Types in Rust
2021-09-29
A comprehensive exploration of linear logic's resource-conscious foundations, proof nets, the ! and ? modalities translating intuitionistic to linear, and how Rust's ownership system mirrors these ideas.

Linear Logic: Girard's Resource-Sensitive Logic, Exponential Modalities, and Linear Types in Rust