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 6 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)
