Solvability for generalized applications

DOI10.4230/LIPICS.FSCD.2022.18MaRDI QIDQ6544113zbMATH OpenFDO

Authors Delia Kesner, Loïc Peyrot

Publication date 27 May 2024

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)

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

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)