Pages that link to "Item:Q4704764"
From MaRDI portal
The following pages link to A semantics for lambda calculi with resources (Q4704764):
Displaying 14 items.
- Intuitionistic differential nets and lambda-calculus (Q534707) (← links)
- Differential interaction nets (Q860836) (← links)
- Uniformity and the Taylor expansion of ordinary lambda-terms (Q944386) (← links)
- Categorical models of the differential \(\lambda\)-calculus revisited (Q1744378) (← links)
- Strong normalization through intersection types and memory (Q1744407) (← links)
- The differential lambda-calculus (Q1884894) (← links)
- Reasoning About Call-by-need by Means of Types (Q2811356) (← links)
- What is a categorical model of the differential and the resource λ-calculi? (Q2888856) (← links)
- Böhm’s Theorem for Resource Lambda Calculus through Taylor Expansion (Q3007664) (← links)
- A resource aware semantics for a focused intuitionistic calculus (Q4559602) (← links)
- An introduction to differential linear logic: proof-nets, models and antiderivatives (Q4577980) (← links)
- Execution time of λ-terms via denotational semantics and intersection types (Q4577984) (← links)
- Categorical models of the differential λ-calculus (Q5108533) (← links)
- (Q6079229) (← links)