Solvability for generalized applications

DOI10.4230/LIPICS.FSCD.2022.18zbMATH Open1541.68086MaRDI QIDQ6544113FDOQ6544113

Authors: Delia Kesner, Loïc Peyrot 

Publication date: 27 May 2024

Recommendations

• Call-by-value Solvability
• A Semantical and Operational Account of Call-by-Value Solvability
• Call-by-value solvability, revisited
• No solvable lambda-value term left behind
• Standardization of a Call-By-Value Lambda-Calculus

zbMATH Keywords

solvability\(\lambda\)-calculusgeneralized applicationsquantitative typesCBN/CBV

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Combinatory logic and lambda calculus (03B40) Functional programming and lambda calculus (68N18)

Cited In (2)

• Variations and interpretations of naturality in call-by-name lambda-calculi with generalized applications
• A faithful and quantitative notion of distant reduction for the lambda-calculus with generalized applications

This page was built for publication: Solvability for generalized applications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6544113)