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

@@ Property / DOI @@
-.1016/j.tcs.2010.12.017
@@ Property / DOI: 10.1016/j.tcs.2010.12.017 / rank @@
-Normal rank
@@ Property / author @@
+Daniel de Carvalho
@@ Property / author: Daniel de Carvalho / rank @@
+Normal rank
@@ Property / author @@
+Michele Pagani
@@ Property / author: Michele Pagani / rank @@
+Normal rank
@@ Property / author @@
+Lorenzo Tortora de Falco
@@ Property / author: Lorenzo Tortora de Falco / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2081694512
@@ Property / OpenAlex ID: W2081694512 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1016/J.TCS.2010.12.017
@@ Property / DOI: 10.1016/J.TCS.2010.12.017 / rank @@
+Normal rank