Pages that link to "Item:Q1382182"
From MaRDI portal
The following pages link to A semantical storage operator theorem for all types (Q1382182):
Displaying 10 items.
- Opérateurs de mise en mémoire et traduction de Gödel. (Storage operators and Gödel translation) (Q923069) (← links)
- A general storage theorem for integers in call-by-name \(\lambda\)- calculus (Q1329740) (← links)
- Mixed logic and storage operators (Q1570018) (← links)
- Strong storage operators and data types (Q1805408) (← links)
- Complete Types in an Extension of the System <i>AF</i>2 (Q3647204) (← links)
- S-Storage Operators (Q4379630) (← links)
- Résultats de complétude pour des classes de types du système $\mathcal {AF}2$ (Q4389762) (← links)
- A General Type for Storage Operators (Q4857862) (← links)
- Storage operators and directed lambda-calculus (Q4876311) (← links)
- Storage Operators and ∀‐positive Types in TTR Type System (Q4888346) (← links)