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

Revision as of 08:44, 1 July 2023