Pages that link to "Item:Q1383145"
From MaRDI portal
The following pages link to Lambda calculus with explicit recursion (Q1383145):
Displayed 6 items.
- A concurrent lambda calculus with futures (Q860851) (← links)
- Skew confluence and the lambda calculus with letrec (Q1849854) (← links)
- Safety of Nöcker's strictness analysis (Q3520168) (← links)
- A Finite Simulation Method in a Non-deterministic Call-by-Need Lambda-Calculus with Letrec, Constructors, and Case (Q3522027) (← links)
- Deciding inclusion of set constants over infinite non-strict data structures (Q5441550) (← links)
- A calculus of open modules: call-by-need strategy and confluence (Q5756978) (← links)