A semantic measure of the execution time in linear logic (Q534698): Difference between revisions

@@ Property / cites work @@
+Stratified coherence spaces: A denotational semantics for light linear logic
+Normal rank
@@ Property / cites work @@
+Partial Types and Intervals
@@ Property / cites work: Partial Types and Intervals / rank @@
+Normal rank
@@ Property / cites work @@
+Q2851090
@@ Property / cites work: Q2851090 / rank @@
+Normal rank
@@ Property / cites work @@
+Execution time of λ-terms via denotational semantics and intersection types
+Normal rank
@@ Property / cites work @@
+The structure of multiplicatives
@@ Property / cites work: The structure of multiplicatives / rank @@
+Normal rank
@@ Property / cites work @@
+Q4842980
@@ Property / cites work: Q4842980 / 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 @@
+Uniformity and the Taylor expansion of ordinary lambda-terms
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Light linear logic
@@ Property / cites work: Light linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Quantitative Game Semantics for Linear Logic
@@ Property / cites work: Quantitative Game Semantics for Linear Logic / 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 @@
+Q2753690
@@ Property / cites work: Q2753690 / rank @@
+Normal rank
@@ Property / cites work @@
+Proofs, denotational semantics and observational equivalences in Multiplicative Linear Logic
+Normal rank
@@ Property / cites work @@
+Strong normalization property for second order linear logic
+Normal rank
@@ Property / cites work @@
+Obsessional experiments for linear logic proof-nets
+Normal rank