Intuitionistic differential nets and lambda-calculus (Q534707): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+F52
@@ Property / Mathematics Subject Classification ID: 03F52 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B40
@@ Property / Mathematics Subject Classification ID: 03B40 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+F07
@@ Property / Mathematics Subject Classification ID: 03F07 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+5886384
@@ Property / zbMATH DE Number: 5886384 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+lambda-calculus
@@ Property / zbMATH Keywords: lambda-calculus / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+differential interaction nets
@@ Property / zbMATH Keywords: differential interaction nets / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+linear logic
@@ Property / zbMATH Keywords: linear logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+proof nets
@@ Property / zbMATH Keywords: proof nets / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+exponential reduction
@@ Property / zbMATH Keywords: exponential reduction / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+confluence
@@ Property / zbMATH Keywords: confluence / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+normalization
@@ Property / zbMATH Keywords: normalization / rank @@
+Normal rank
@@ 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.1016/j.tcs.2010.12.022
+Normal rank
@@ Property / OpenAlex ID @@
+W2109323214
@@ Property / OpenAlex ID: W2109323214 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+An equivalence between lambda- terms
@@ Property / cites work: An equivalence between lambda- terms / rank @@
+Normal rank
@@ Property / cites work @@
+On Köthe sequence spaces and linear logic
@@ Property / cites work: On Köthe sequence spaces and linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Finiteness spaces
@@ Property / cites work: Finiteness spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Differential interaction nets
@@ Property / cites work: Differential interaction nets / rank @@
+Normal rank
@@ Property / cites work @@
+The differential lambda-calculus
@@ Property / cites work: The differential lambda-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Polarized proof-nets and \(\lambda \mu\)-calculus
@@ Property / cites work: Polarized proof-nets and \(\lambda \mu\)-calculus / rank @@
+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 @@
+A linearization of the Lambda-calculus and consequences
+Normal rank
@@ Property / cites work @@
+On Linear Combinations of λ-Terms
@@ Property / cites work: On Linear Combinations of λ-Terms / rank @@
+Normal rank
@@ Property / cites work @@
+Uniformity and the Taylor expansion of ordinary lambda-terms
+Normal rank
@@ Property / cites work @@
+Q4938598
@@ Property / cites work: Q4938598 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4842976
@@ Property / cites work: Q4842976 / rank @@
+Normal rank
@@ Property / cites work @@
+The differential \(\lambda \mu\)-calculus
@@ Property / cites work: The differential \(\lambda \mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+The structure of multiplicatives
@@ Property / cites work: The structure of multiplicatives / rank @@
+Normal rank
@@ Property / cites work @@
+Strong normalization property for second order linear logic
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:534707