Taylor expansion, finiteness and strategies

DOI10.1016/J.ENTCS.2019.09.005MaRDI QIDQ2133165zbMATH OpenOpenAlexWikidataFDO

Authors Jules Chouquet

Publication date 29 April 2022

Full work available at URL https://doi.org/10.1016/j.entcs.2019.09.005

zbMATH Keywords

linear logicPCFlambda calculusTaylor expansioncall-by-needcall-by-valuebang calculus

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Uniformity and the Taylor expansion of ordinary lambda-terms
• Taylor expansion, \(\beta\)-reduction and normalization
• Strong normalizability as a finiteness structure via the Taylor expansion of \(\lambda\)-terms
• scientific article; zbMATH DE number 7089070
• A characterization of the Taylor expansion of \(\lambda\)-terms

Cites work

• scientific article; zbMATH DE number 7471682 (Why is no real title available?)
• Call-by-push-value: Decomposing call-by-value and call-by-name
• Classical by-need
• Collapsing non-idempotent intersection types
• Execution time of λ-terms via denotational semantics and intersection types
• Finiteness spaces
• Full abstraction for probabilistic PCF
• LCF considered as a programming language
• Mackey-complete spaces and power series -- a topological model of differential linear logic
• Normal functors, power series and -calculus
• On the Taylor expansion of probabilistic λ-terms
• Probabilistic call by push value
• Probabilistic coherence spaces as a model of higher-order probabilistic computation
• Reasoning about call-by-need by means of types
• Species, profunctors and Taylor expansion weighted by SMCC. A unified framework for modelling nondeterministic, probabilistic and quantum programs
• Strong normalizability as a finiteness structure via the Taylor expansion of \(\lambda\)-terms
• Taylor expansion, \(\beta\)-reduction and normalization
• The algebraic lambda calculus
• The bang calculus and the two Girard's translations
• The concurrent game semantics of probabilistic PCF
• The differential lambda-calculus
• Transport of finiteness structures and applications
• Uniformity and the Taylor expansion of ordinary lambda-terms
• Weighted relational models of typed lambda-calculi

Cited in

(1)

• Resource approximation for the \(\lambda \mu \)-calculus

This page was built for publication: Taylor expansion, finiteness and strategies

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