Q5227520 (Q5227520): Difference between revisions

@@ Property / describes a project that uses @@
+DLMF
@@ Property / describes a project that uses: DLMF / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Linear-algebraic λ-calculus: higher-order, encodings, and confluence.
+Normal rank
@@ Property / cites work @@
+Not Enough Points Is Enough
@@ Property / cites work: Not Enough Points Is Enough / rank @@
+Normal rank
@@ Property / cites work @@
+Q5079739
@@ Property / cites work: Q5079739 / rank @@
+Normal rank
@@ Property / cites work @@
+Exponentials with Infinite Multiplicities
@@ Property / cites work: Exponentials with Infinite Multiplicities / rank @@
+Normal rank
@@ Property / cites work @@
+Execution time of λ-terms via denotational semantics and intersection types
+Normal rank
@@ Property / cites work @@
+Probabilistic coherence spaces as a model of higher-order probabilistic computation
+Normal rank
@@ Property / cites work @@
+On the Taylor expansion of probabilistic λ-terms
@@ Property / cites work: On the Taylor expansion of probabilistic λ-terms / rank @@
+Normal rank
@@ Property / cites work @@
+NIST digital library of mathematical functions
@@ Property / cites work: NIST digital library of mathematical functions / rank @@
+Normal rank
@@ Property / cites work @@
+Nondeterministic extensions of untyped \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Finiteness spaces
@@ Property / cites work: Finiteness spaces / rank @@
+Normal rank
@@ Property / cites work @@
+An introduction to differential linear logic: proof-nets, models and antiderivatives
+Normal rank
@@ Property / cites work @@
+The differential lambda-calculus
@@ Property / cites work: The differential lambda-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Approaches to Computational Barriers
@@ Property / cites work: Logical Approaches to Computational Barriers / rank @@
+Normal rank
@@ Property / cites work @@
+Uniformity and the Taylor expansion of ordinary lambda-terms
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Normal functors, power series and \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Q4217597
@@ Property / cites work: Q4217597 / rank @@
+Normal rank
@@ Property / cites work @@
+Infinitary lambda calculus
@@ Property / cites work: Infinitary lambda calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997016
@@ Property / cites work: Q3997016 / rank @@
+Normal rank
@@ Property / cites work @@
+Fixed Points In Quantitative Semantics
@@ Property / cites work: Fixed Points In Quantitative Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Weighted Relational Models of Typed Lambda-Calculi
+Normal rank
@@ Property / cites work @@
+Q3579593
@@ Property / cites work: Q3579593 / rank @@
+Normal rank
@@ Property / cites work @@
+Strong Normalizability as a Finiteness Structure via the Taylor Expansion of $$\lambda $$ λ -terms
+Normal rank
@@ Property / cites work @@
+Q5144639
@@ Property / cites work: Q5144639 / rank @@
+Normal rank
@@ Property / cites work @@
+Obsessional experiments for linear logic proof-nets
+Normal rank
@@ Property / cites work @@
+Transport of finiteness structures and applications
+Normal rank
@@ Property / cites work @@
+On Linear Combinations of λ-Terms
@@ Property / cites work: On Linear Combinations of λ-Terms / rank @@
+Normal rank
@@ Property / cites work @@
+The algebraic lambda calculus
@@ Property / cites work: The algebraic lambda calculus / rank @@
+Normal rank