scientific article; zbMATH DE number 7471690
From MaRDI portal
Publication:5028454
Lionel Vaux Auclair, Federico Olimpieri
Publication date: 9 February 2022
Full work available at URL: https://arxiv.org/abs/2008.02665
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Probabilistic coherence spaces as a model of higher-order probabilistic computation
- Linear logic
- Uniformity and the Taylor expansion of ordinary lambda-terms
- Normal functors, power series and \(\lambda\)-calculus
- Quantitative domains and infinitary algebras
- The differential lambda-calculus
- Strong Normalizability as a Finiteness Structure via the Taylor Expansion of $$\lambda $$ λ -terms
- An Infinitary Affine Lambda-Calculus Isomorphic to the Full Lambda-Calculus
- Böhm’s Theorem for Resource Lambda Calculus through Taylor Expansion
- The algebraic lambda calculus
- Fixed Points In Quantitative Semantics
- A deterministic rewrite system for the probabilistic λ-calculus
- Taylor expansion, β-reduction and normalization
- Species, Profunctors and Taylor Expansion Weighted by SMCC
- Weighted Relational Models of Typed Lambda-Calculi
- The cartesian closed bicategory of generalised species of structures
- Finiteness spaces
- Logical Approaches to Computational Barriers
- Two applications of analytic functors
This page was built for publication:
