The semantics of entailment omega (Q1430899): Difference between revisions

@@ Property / cites work @@
+Q4085699
@@ Property / cites work: Q4085699 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4297115
@@ Property / cites work: Q4297115 / rank @@
+Normal rank
@@ Property / cites work @@
+Intersection and union types: Syntax and semantics
+Normal rank
@@ Property / cites work @@
+The lambda calculus. Its syntax and semantics. Rev. ed.
+Normal rank
@@ Property / cites work @@
+A filter lambda model and the completeness of type assignment
+Normal rank
@@ Property / cites work @@
+Q5547552
@@ Property / cites work: Q5547552 / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatory logic. With two sections by William Craig.
+Normal rank
@@ Property / cites work @@
+The Relevance of Semantic Subtyping
@@ Property / cites work: The Relevance of Semantic Subtyping / rank @@
+Normal rank
@@ Property / cites work @@
+Intersection types for combinatory logic
@@ Property / cites work: Intersection types for combinatory logic / rank @@
+Normal rank
@@ Property / cites work @@
+TRANSIENT SOLUTION OF A ONE-DIMENSIONAL THERMOELASTIC WAVE PROPAGATION PROBLEM
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Concerning formulas of the types <i>A→B</i> ν <i>C,A →(Ex)B(x)</i> in intuitionistic formal systems
+Normal rank
@@ Property / cites work @@
+Lambda‐Calculus Models and Extensionality
@@ Property / cites work: Lambda‐Calculus Models and Extensionality / rank @@
+Normal rank
@@ Property / cites work @@
+Q4722037
@@ Property / cites work: Q4722037 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi
+Normal rank
@@ Property / cites work @@
+Q3967510
@@ Property / cites work: Q3967510 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4103076
@@ Property / cites work: Q4103076 / rank @@
+Normal rank
@@ Property / cites work @@
+The semantics of entailment. III
@@ Property / cites work: The semantics of entailment. III / rank @@
+Normal rank
@@ Property / cites work @@
+Q3701398
@@ Property / cites work: Q3701398 / rank @@
+Normal rank
@@ Property / cites work @@
+Intersection Types as Logical Formulae
@@ Property / cites work: Intersection Types as Logical Formulae / rank @@
+Normal rank