The following pages link to (Q3564946):
Displayed 6 items.
- Resource modalities in tensor logic (Q636303) (← links)
- Ordered combinatory algebras and realizability (Q2973254) (← links)
- POLYMORPHISM AND THE OBSTINATE CIRCULARITY OF SECOND ORDER LOGIC: A VICTIMS’ TALE (Q4637941) (← links)
- The parametric continuation monad (Q5269001) (← links)
- Non-linearity as the Metric Completion of Linearity (Q5300890) (← links)
- Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language (Q6151555) (← links)