Pages that link to "Item:Q4876311"
From MaRDI portal
The following pages link to Storage operators and directed lambda-calculus (Q4876311):
Displayed 4 items.
- A semantical storage operator theorem for all types (Q1382182) (← links)
- A syntactical proof of the operational equivalence of two \(\lambda\)-terms (Q1390880) (← links)
- Strong storage operators and data types (Q1805408) (← links)
- Opérateurs de mise en mémoire et types $\forall $-positifs (Q4717043) (← links)