The Better Bubbling Lemma (Q2864214): 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.1016/j.entcs.2006.12.038
+Normal rank
@@ Property / OpenAlex ID @@
+W1998409609
@@ Property / OpenAlex ID: W1998409609 / rank @@
+Normal rank
@@ Property / cites work @@
+A filter lambda model and the completeness of type assignment
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Logic as Mathematical Science
@@ Property / cites work: Logic as Mathematical Science / rank @@
+Normal rank
@@ Property / cites work @@
+The Relevance of Semantic Subtyping
@@ Property / cites work: The Relevance of Semantic Subtyping / rank @@
+Normal rank
@@ Property / cites work @@
+The semantics of entailment omega
@@ Property / cites work: The semantics of entailment omega / rank @@
+Normal rank
@@ Property / cites work @@
+Semantic subtyping
@@ Property / cites work: Semantic subtyping / rank @@
+Normal rank
@@ Property / cites work @@
+Q3001365
@@ Property / cites work: Q3001365 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5694704
@@ Property / cites work: Q5694704 / rank @@
+Normal rank
@@ Property / cites work @@
+The semantics of entailment. III
@@ Property / cites work: The semantics of entailment. III / rank @@
+Normal rank