4 ms·
Intuitionistic and linear logics are good examples of "weird" logics that have had some relevance to computing. Intuitionistic: Curry-Howard, Dependent Type Th
by ogogmad 4y ago
Intuitionistic and linear logics are good examples of "weird" logics that have had some relevance to computing.
Intuitionistic: Curry-Howard, Dependent Type Theory, formal methods.
Linear logic: Rust.