Focused linear logic and the \(\lambda\)-calculus (Q5971394): Difference between revisions

@@ Property / Wikidata QID @@
+Q113317733
@@ Property / Wikidata QID: Q113317733 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational interpretations of linear logic
@@ Property / cites work: Computational interpretations of linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+A nonstandard standardization theorem
@@ Property / cites work: A nonstandard standardization theorem / rank @@
+Normal rank
@@ Property / cites work @@
+(Leftmost-Outermost) Beta Reduction is Invariant, Indeed
+Normal rank
@@ Property / cites work @@
+Logic Programming with Focusing Proofs in Linear Logic
+Normal rank
@@ Property / cites work @@
+Least and Greatest Fixed Points in Linear Logic
@@ Property / cites work: Least and Greatest Fixed Points in Linear Logic / rank @@
+Normal rank
@@ Property / cites work @@
+On the \(\pi\)-calculus and linear logic
@@ Property / cites work: On the \(\pi\)-calculus and linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281466
@@ Property / cites work: Q4281466 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2915680
@@ Property / cites work: Q2915680 / rank @@
+Normal rank
@@ Property / cites work @@
+The duality of computation
@@ Property / cites work: The duality of computation / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Approaches to Computational Barriers
@@ Property / cites work: Logical Approaches to Computational Barriers / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4474830
@@ Property / cites work: Q4474830 / rank @@
+Normal rank
@@ Property / cites work @@
+Resource operators for \(\lambda\)-calculus
@@ Property / cites work: Resource operators for \(\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 @@
+Call-by-push-value: Decomposing call-by-value and call-by-name
+Normal rank
@@ Property / cites work @@
+Focusing and Polarization in Intuitionistic Logic
@@ Property / cites work: Focusing and Polarization in Intuitionistic Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Focalisation and Classical Realisability
@@ Property / cites work: Focalisation and Classical Realisability / rank @@
+Normal rank
@@ Property / cites work @@
+Q4255509
@@ Property / cites work: Q4255509 / rank @@
+Normal rank
@@ Property / cites work @@
+Structural Focalization
@@ Property / cites work: Structural Focalization / rank @@
+Normal rank
@@ Property / cites work @@
+Q4260366
@@ Property / cites work: Q4260366 / rank @@
+Normal rank
@@ Property / cites work @@
+Propositions as sessions
@@ Property / cites work: Propositions as sessions / rank @@
+Normal rank