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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-21691-6_14
+Normal rank
@@ Property / OpenAlex ID @@
+W1829093058
@@ Property / OpenAlex ID: W1829093058 / rank @@
+Normal rank
@@ 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 @@
+Full Abstraction for Resource Calculus with Tests
@@ Property / cites work: Full Abstraction for Resource Calculus with Tests / 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