Pages that link to "Item:Q4500177"
From MaRDI portal
The following pages link to A linearization of the Lambda-calculus and consequences (Q4500177):
Displaying 32 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)
- The weak lambda calculus as a reasonable machine (Q930866) (← links)
- Uniformity and the Taylor expansion of ordinary lambda-terms (Q944386) (← links)
- A classical linear \(\lambda\)-calculus (Q1575877) (← 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)
- Extending Abramsky's lazy lambda calculus: (non)-conservativity of embeddings (Q2958387) (← links)
- (Q2980972) (← links)
- Parsimonious Types and Non-uniform Computation (Q3449488) (← links)
- Linearly-Used Continuations in the Enriched Effect Calculus (Q3557841) (← links)
- Axioms for the Theory of Lambda-Conversion (Q3714048) (← links)
- (Q4218937) (← links)
- A Linear Spine Calculus (Q4444935) (← links)
- Execution time of λ-terms via denotational semantics and intersection types (Q4577984) (← links)
- (Q4580327) (← links)
- Semantics of linear/modal lambda calculus (Q4934238) (← links)
- (Q4953356) (← links)
- (Q5076060) (← links)
- Types as resources for classical natural deduction (Q5111320) (← links)
- Tight typings and split bounds, fully developed (Q5120229) (← links)
- (Q5208874) (← links)
- Infinitary affine proofs (Q5268998) (← links)
- Essential and relational models (Q5269000) (← links)
- Programming in the λ-Calculus: From Church to Scott and Back (Q5410454) (← links)
- Linearization of the lambda-calculus and its relation with intersection type systems (Q5692152) (← links)
- Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus (Q5747746) (← links)
- Non-Deterministic Functions as Non-Deterministic Processes (Extended Version) (Q6076174) (← links)
- (Q6079229) (← links)
- Node Replication: Theory And Practice (Q6192004) (← links)
