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 14 items.
- Opérateurs de mise en mémoire et traduction de Gödel. (Storage operators and Gödel translation) (Q923069) (← links)
- Classical logic, storage operators and second-order lambda-calculus (Q1326769) (← links)
- 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)
- Lambda-calcul, évaluation paresseuse et mise en mémoire (Q3204440) (← links)
- Relating Classical Realizability and Negative Translation for Existential Witness Extraction (Q3637195) (← links)
- A new deconstructive logic: linear logic (Q4372906) (← links)
- S-Storage Operators (Q4379630) (← links)
- (Q4411826) (← links)
- Storage operators and directed lambda-calculus (Q4876311) (← links)