Pages that link to "Item:Q1329740"
From MaRDI portal
The following pages link to A general storage theorem for integers in call-by-name \(\lambda\)- calculus (Q1329740):
Displaying 8 items.
- About classical logic and imperative programming (Q1817076) (← links)
- Getting results from programs extracted from classical proofs (Q1882897) (← links)
- Dependent choice, `quote' and the clock (Q1884884) (← links)
- Programs from proofs using classical dependent choice (Q2482844) (← links)
- Call-By-Push-Value from a Linear Logic Point of View (Q2802478) (← links)
- Ordered combinatory algebras and realizability (Q2973254) (← links)
- Relating Classical Realizability and Negative Translation for Existential Witness Extraction (Q3637195) (← links)
- A new deconstructive logic: linear logic (Q4372906) (← links)
