scientific article; zbMATH DE number 7089070
From MaRDI portal
Publication:5227520
Publication date: 6 August 2019
Full work available at URL: https://arxiv.org/abs/1706.04700
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- 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
- Infinitary lambda calculus
- NIST digital library of mathematical functions
- The differential lambda-calculus
- Nondeterministic extensions of untyped \(\lambda\)-calculus
- Strong Normalizability as a Finiteness Structure via the Taylor Expansion of $$\lambda $$ λ -terms
- Linear-algebraic λ-calculus: higher-order, encodings, and confluence.
- Exponentials with Infinite Multiplicities
- Not Enough Points Is Enough
- The algebraic lambda calculus
- An introduction to differential linear logic: proof-nets, models and antiderivatives
- Transport of finiteness structures and applications
- Execution time of λ-terms via denotational semantics and intersection types
- Fixed Points In Quantitative Semantics
- Obsessional experiments for linear logic proof-nets
- On the Taylor expansion of probabilistic λ-terms
- Weighted Relational Models of Typed Lambda-Calculi
- On Linear Combinations of λ-Terms
- Finiteness spaces
- Logical Approaches to Computational Barriers
This page was built for publication:
