Pages that link to "Item:Q4857862"
From MaRDI portal
The following pages link to A General Type for Storage Operators (Q4857862):
Displaying 5 items.
- A general storage theorem for integers in call-by-name \(\lambda\)- calculus (Q1329740) (← links)
- A semantical storage operator theorem for all types (Q1382182) (← links)
- Mixed logic and storage operators (Q1570018) (← links)
- Strong storage operators and data types (Q1805408) (← links)
- Storage Operators and ∀‐positive Types in TTR Type System (Q4888346) (← links)