scientific article; zbMATH DE number 7089070
From MaRDI portal
Publication:5227520
Recommendations
- Taylor expansion, \(\beta\)-reduction and normalization
- On the Taylor expansion of probabilistic λ-terms
- Parallel reductions in \(\lambda\)-calculus
- Parallel reductions in \(\lambda\)-calculus
- Lambda calculus with algebraic simplification for reduction parallelisation: extended study
- Fast parallel algorithms for matrix reduction to normal forms
- On reduction and normalization in the computational core
- Reduction Optimal Trinomials for Efficient Software Implementation of the η T Pairing
Cites work
- scientific article; zbMATH DE number 46869 (Why is no real title available?)
- scientific article; zbMATH DE number 1222102 (Why is no real title available?)
- scientific article; zbMATH DE number 7533340 (Why is no real title available?)
- An introduction to differential linear logic: proof-nets, models and antiderivatives
- Execution time of λ-terms via denotational semantics and intersection types
- Exponentials with infinite multiplicities
- Finiteness spaces
- Fixed Points In Quantitative Semantics
- Generalised species of rigid resource terms
- Infinitary lambda calculus
- Linear logic
- Linear-algebraic λ-calculus: higher-order, encodings, and confluence.
- Logical Approaches to Computational Barriers
- NIST digital library of mathematical functions
- NIST handbook of mathematical functions
- Nondeterministic extensions of untyped \(\lambda\)-calculus
- Normal functors, power series and \(\lambda\)-calculus
- Not Enough Points Is Enough
- Obsessional experiments for linear logic proof-nets
- On Linear Combinations of λ-Terms
- On the Taylor expansion of probabilistic λ-terms
- Probabilistic coherence spaces as a model of higher-order probabilistic computation
- Strong normalizability as a finiteness structure via the Taylor expansion of \(\lambda\)-terms
- The algebraic lambda calculus
- 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
(9)- Uniformity and the Taylor expansion of ordinary lambda-terms
- Böhm's theorem for resource lambda calculus through Taylor expansion
- Strong normalizability as a finiteness structure via the Taylor expansion of \(\lambda\)-terms
- Resource approximation for the \(\lambda \mu \)-calculus
- Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications
- Logical Approaches to Computational Barriers
- Taylor expansion, \(\beta\)-reduction and normalization
- Krivine machine and Taylor expansion in a non-uniform setting
- A characterization of the Taylor expansion of \(\lambda\)-terms
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5227520)
