Visible acyclic differential nets. I: Semantics (Q409321): Difference between revisions

@@ Property / cites work @@
+Computational interpretations of linear logic
@@ Property / cites work: Computational interpretations of linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4160405
@@ Property / cites work: Q4160405 / rank @@
+Normal rank
@@ Property / cites work @@
+Non-Uniform Hypercoherences
@@ Property / cites work: Non-Uniform Hypercoherences / rank @@
+Normal rank
@@ Property / cites work @@
+On phase semantics and denotational semantics: The exponentials
+Normal rank
@@ Property / cites work @@
+The structure of multiplicatives
@@ Property / cites work: The structure of multiplicatives / rank @@
+Normal rank
@@ Property / cites work @@
+A semantic measure of the execution time in linear logic
+Normal rank
@@ Property / cites work @@
+On Köthe sequence spaces and linear logic
@@ Property / cites work: On Köthe sequence spaces and linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Finiteness spaces
@@ Property / cites work: Finiteness spaces / rank @@
+Normal rank
@@ Property / cites work @@
+The differential lambda-calculus
@@ Property / cites work: The differential lambda-calculus / 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 @@
+The system \({\mathcal F}\) of variable types, fifteen years later
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Normal functors, power series and \(\lambda\)-calculus
+Normal rank
@@ Property / cites work @@
+Q4842976
@@ Property / cites work: Q4842976 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4457463
@@ Property / cites work: Q4457463 / rank @@
+Normal rank
@@ Property / cites work @@
+Acyclicity and Coherence in Multiplicative Exponential Linear Logic
+Normal rank
@@ Property / cites work @@
+Strong normalization property for second order linear logic
+Normal rank
@@ Property / cites work @@
+The conservation theorem for differential nets
@@ Property / cites work: The conservation theorem for differential nets / rank @@
+Normal rank
@@ Property / cites work @@
+A semantic characterisation of the correctness of a proof net
+Normal rank
@@ Property / cites work @@
+Q5649639
@@ Property / cites work: Q5649639 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4344108
@@ Property / cites work: Q4344108 / rank @@
+Normal rank
@@ Property / cites work @@
+Obsessional experiments for linear logic proof-nets
+Normal rank
@@ Property / cites work @@
+A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive Linear Logic
+Normal rank
@@ Property / cites work @@
+Intuitionistic differential nets and lambda-calculus
+Normal rank