Pages that link to "Item:Q923069"
From MaRDI portal
The following pages link to Opérateurs de mise en mémoire et traduction de Gödel. (Storage operators and Gödel translation) (Q923069):
Displayed 15 items.
- Injecting uniformities into Peano arithmetic (Q1006608) (← links)
- Bounded linear logic: A modular approach to polynomial-time computability (Q1193854) (← links)
- Classical logic, storage operators and second-order lambda-calculus (Q1326769) (← links)
- A general storage theorem for integers in call-by-name \(\lambda\)- calculus (Q1329740) (← links)
- The Inf function in the system \(F\) (Q1346636) (← links)
- A conjecture on numeral systems (Q1381438) (← links)
- A semantical storage operator theorem for all types (Q1382182) (← links)
- Strong storage operators and data types (Q1805408) (← links)
- About classical logic and imperative programming (Q1817076) (← links)
- Les types de données syntaxiques du système ${\cal F}$ (Q2773019) (← links)
- Lambda-calcul, évaluation paresseuse et mise en mémoire (Q3204440) (← links)
- Résultats de complétude pour des classes de types du système $\mathcal {AF}2$ (Q4389762) (← links)
- Une réponse négative à la conjecture de E. Tronci pour les systèmes numériques typés (Q4389763) (← links)
- Opérateurs de mise en mémoire et types $\forall $-positifs (Q4717043) (← links)
- Storage operators and directed lambda-calculus (Q4876311) (← links)