Encoding linear logic with interaction combinators (Q1854547): Difference between revisions

@@ Property / cites work @@
+The bologna optimal higher-order machine
@@ Property / cites work: The bologna optimal higher-order machine / rank @@
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+Q4945227
@@ Property / cites work: Q4945227 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4870807
@@ Property / cites work: Q4870807 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4842976
@@ Property / cites work: Q4842976 / rank @@
+Normal rank
@@ Property / cites work @@
+Interaction combinators
@@ Property / cites work: Interaction combinators / rank @@
+Normal rank
@@ Property / cites work @@
+YALE
@@ Property / cites work: YALE / rank @@
+Normal rank
@@ Property / cites work @@
+Interaction nets for linear logic
@@ Property / cites work: Interaction nets for linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4508308
@@ Property / cites work: Q4508308 / rank @@
+Normal rank
@@ Property / cites work @@
+LCF considered as a programming language
@@ Property / cites work: LCF considered as a programming language / rank @@
+Normal rank