Confluence of Pure Differential Nets with Promotion (Q3644769): Difference between revisions

@@ Property / cites work @@
+Linear logic
@@ Property / cites work: 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 @@
+Interpreting a Finitary Pi-calculus in Differential Interaction Nets
+Normal rank
@@ Property / cites work @@
+Intuitionistic differential nets and lambda-calculus
+Normal rank
@@ Property / cites work @@
+Q4938598
@@ Property / cites work: Q4938598 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof nets and explicit substitutions
@@ Property / cites work: Proof nets and explicit substitutions / rank @@
+Normal rank
@@ Property / cites work @@
+Strong normalization property for second order linear logic
+Normal rank
@@ Property / cites work @@
+The structure of multiplicatives
@@ Property / cites work: The structure of multiplicatives / rank @@
+Normal rank
@@ Property / cites work @@
+Confluence of Pure Differential Nets with Promotion
+Normal rank