The following pages link to (Q3564946):
Displaying 8 items.
- Resource modalities in tensor logic (Q636303) (← links)
- Generation of interaktive animations of computational models (Q1596362) (← links)
- Ordered combinatory algebras and realizability (Q2973254) (← links)
- (Q4333382) (← 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)