The Better Bubbling Lemma (Q2864214): Difference between revisions

@@ 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