Pages that link to "Item:Q1575882"

The following pages link to Call-by-name, call-by-value, call-by-need and the linear lambda calculus (Q1575882):

Displaying 26 items.

• Proof nets and the call-by-value \(\lambda\)-calculus (Q897928) (← links)
• On \(\Pi\)-conversion in the \(\lambda\)-cube and the combination with abbreviations (Q1302298) (← links)
• Proof nets, garbage, and computations (Q1589650) (← links)
• The bang calculus revisited (Q2039931) (← links)
• Plotkin's call-by-value \(\lambda\)-calculus as a modal calculus (Q2141293) (← links)
• The untyped computational \(\lambda \)-calculus and its intersection type discipline (Q2210507) (← links)
• Factorization in call-by-name and call-by-value calculi via linear logic (Q2233405) (← links)
• The spirit of node replication (Q2233421) (← links)
• Call-By-Push-Value from a Linear Logic Point of View (Q2802478) (← links)
• Reasoning About Call-by-need by Means of Types (Q2811356) (← links)
• An implementation model of the typed λ-calculus based on Linear Chemical Abstract Machine (Q2841304) (← links)
• Open Call-by-Value (Q3179293) (← links)
• From parametric polymorphism to models of polymorphic FPC (Q3395309) (← links)
• Call-by-Value Non-determinism in a Linear Logic Type Discipline (Q3455843) (← links)
• (Q4972738) (← links)
• (Q5018484) (← links)
• A Fresh Look at the λ-Calculus (Q5089000) (← links)
• (Q5089020) (← links)
• A Linear-Logical Reconstruction of Intuitionistic Modal Logic S4 (Q5089022) (← links)
• Head reduction and normalization in a call-by-value lambda-calculus (Q5240183) (← links)
• On reduction and normalization in the computational core (Q5879269) (← links)
• The bang calculus revisited (Q6116183) (← links)
• Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic (Q6137846) (← links)
• Node Replication: Theory And Practice (Q6192004) (← links)
• Strong call-by-value and multi types (Q6605354) (← links)
• Exponentials as substitutions and the cost of cut elimination in linear logic (Q6649484) (← links)