scientific article; zbMATH DE number 7089070
From MaRDI portal
Publication:5227520
Authors: Lionel Vaux 
Publication date: 6 August 2019
Full work available at URL: https://arxiv.org/abs/1706.04700
Title of this publication is not available (Why is that?)
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
- NIST digital library of mathematical functions
- NIST handbook of mathematical functions
- Nondeterministic extensions of untyped \(\lambda\)-calculus
- Linear logic
- Not Enough Points Is Enough
- Execution time of λ-terms via denotational semantics and intersection types
- Logical Approaches to Computational Barriers
- Uniformity and the Taylor expansion of ordinary lambda-terms
- The differential lambda-calculus
- Normal functors, power series and \(\lambda\)-calculus
- Probabilistic coherence spaces as a model of higher-order probabilistic computation
- Finiteness spaces
- Title not available (Why is that?)
- Obsessional experiments for linear logic proof-nets
- Infinitary lambda calculus
- The algebraic lambda calculus
- On Linear Combinations of λ-Terms
- Exponentials with infinite multiplicities
- Strong Normalizability as a Finiteness Structure via the Taylor Expansion of $$\lambda $$ λ -terms
- An introduction to differential linear logic: proof-nets, models and antiderivatives
- Weighted Relational Models of Typed Lambda-Calculi
- Linear-algebraic λ-calculus: higher-order, encodings, and confluence.
- Transport of finiteness structures and applications
- On the Taylor expansion of probabilistic λ-terms
- Fixed Points In Quantitative Semantics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (5)
- Logical Approaches to Computational Barriers
- Uniformity and the Taylor expansion of ordinary lambda-terms
- Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications
- Böhm's theorem for resource lambda calculus through Taylor expansion
- Resource approximation for the \(\lambda \mu \)-calculus
Uses Software
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)
