Pages that link to "Item:Q3204440"
From MaRDI portal
The following pages link to Lambda-calcul, évaluation paresseuse et mise en mémoire (Q3204440):
Displaying 6 items.
- A general storage theorem for integers in call-by-name \(\lambda\)- calculus (Q1329740) (← links)
- Strong storage operators and data types (Q1805408) (← links)
- About classical logic and imperative programming (Q1817076) (← links)
- An estimation for the lengths of reduction sequences of the $\lambda\mu\rho\theta$-calculus (Q4580321) (← links)
- Opérateurs de mise en mémoire et types $\forall $-positifs (Q4717043) (← links)
- Storage operators and directed lambda-calculus (Q4876311) (← links)