Encoding linear logic with interaction combinators (Q1854547): 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.1006/inco.2002.3163
+Normal rank
@@ Property / OpenAlex ID @@
+W2074116409
@@ Property / OpenAlex ID: W2074116409 / rank @@
+Normal rank
@@ 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