Böhm’s Theorem for Resource Lambda Calculus through Taylor Expansion (Q3007664): Difference between revisions

@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+A discrimination algorithm inside \(\lambda -\beta\)-calculus
+Normal rank
@@ Property / cites work @@
+A Syntactic Characterization of the Equality in Some Models for the Lambda Calculus
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Exponentials with Infinite Multiplicities
@@ Property / cites work: Exponentials with Infinite Multiplicities / rank @@
+Normal rank
@@ Property / cites work @@
+Linearity, Non-determinism and Solvability
@@ Property / cites work: Linearity, Non-determinism and Solvability / rank @@
+Normal rank
@@ Property / cites work @@
+The discriminating power of multiplicities in the \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+A semantics for lambda calculi with resources
@@ Property / cites work: A semantics for lambda calculi with resources / rank @@
+Normal rank
@@ Property / cites work @@
+The differential lambda-calculus
@@ Property / cites work: The differential lambda-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Intuitionistic differential nets and lambda-calculus
+Normal rank
@@ Property / cites work @@
+Q2915676
@@ Property / cites work: Q2915676 / rank @@
+Normal rank
@@ Property / cites work @@
+Uniformity and the Taylor expansion of ordinary lambda-terms
+Normal rank
@@ Property / cites work @@
+What is a categorical model of the differential and the resource λ-calculi?
+Normal rank