Pages that link to "Item:Q4500177"
From MaRDI portal
The following pages link to A linearization of the Lambda-calculus and consequences (Q4500177):
Displayed 21 items.
- A type assignment for \(\lambda\)-calculus complete both for FPTIME and strong normalization (Q276268) (← links)
- Intuitionistic differential nets and lambda-calculus (Q534707) (← links)
- Differential interaction nets (Q860836) (← links)
- Uniformity and the Taylor expansion of ordinary lambda-terms (Q944386) (← links)
- The spirit of node replication (Q2233421) (← links)
- Weak linearization of the lambda calculus (Q2566028) (← links)
- Reasoning About Call-by-need by Means of Types (Q2811356) (← links)
- Parsimonious Types and Non-uniform Computation (Q3449488) (← links)
- Execution time of λ-terms via denotational semantics and intersection types (Q4577984) (← links)
- (Q4580327) (← links)
- (Q5076060) (← links)
- (Q5111320) (← links)
- Tight typings and split bounds, fully developed (Q5120229) (← links)
- (Q5208874) (← links)
- Infinitary affine proofs (Q5268998) (← links)
- Essential and relational models (Q5269000) (← links)
- Non-Deterministic Functions as Non-Deterministic Processes (Extended Version) (Q6076174) (← links)
- (Q6079229) (← links)
- Structural rules and algebraic properties of intersection types (Q6164466) (← links)
- Quantitative weak linearisation (Q6164467) (← links)
- Node Replication: Theory And Practice (Q6192004) (← links)