Pages that link to "Item:Q703485"
From MaRDI portal
The following pages link to Type inference for light affine logic via constraints on words (Q703485):
Displaying 8 items.
- Light types for polynomial time computation in lambda calculus (Q1004289) (← links)
- Polynomial time over the reals with parsimony (Q2039933) (← links)
- Controlling Program Extraction in Light Logics (Q3007661) (← links)
- (Q4681363) (← links)
- From ML to ML <sup>F</sup> (Q5178756) (← links)
- Optimizing optimal reduction (Q5277747) (← links)
- Typed Lambda Calculi and Applications (Q5704029) (← links)
- Theoretical Computer Science (Q5897362) (← links)