Subtyping dependent types (Q5958760): Difference between revisions

@@ Property / cites work @@
+Q4474826
@@ Property / cites work: Q4474826 / rank @@
+Normal rank
@@ Property / cites work @@
+Subtyping dependent types
@@ Property / cites work: Subtyping dependent types / rank @@
+Normal rank
@@ Property / cites work @@
+Using typed lambda calculus to implement formal systems on a machine
+Normal rank
@@ Property / cites work @@
+Q4247299
@@ Property / cites work: Q4247299 / rank @@
+Normal rank
@@ Property / cites work @@
+Inheritance as implicit coercion
@@ Property / cites work: Inheritance as implicit coercion / rank @@
+Normal rank
@@ Property / cites work @@
+Q3789049
@@ Property / cites work: Q3789049 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4699295
@@ Property / cites work: Q4699295 / rank @@
+Normal rank
@@ Property / cites work @@
+Anti-symmetry of higher-order subtyping and equality by subtyping
+Normal rank
@@ Property / cites work @@
+Typed operational semantics for higher-order subtyping.
+Normal rank
@@ Property / cites work @@
+Q4474829
@@ Property / cites work: Q4474829 / rank @@
+Normal rank
@@ Property / cites work @@
+The calculus of constructions
@@ Property / cites work: The calculus of constructions / rank @@
+Normal rank
@@ Property / cites work @@
+Coherence of subsumption, minimum typing and type-checking in F ≤
+Normal rank
@@ Property / cites work @@
+A framework for defining logics
@@ Property / cites work: A framework for defining logics / rank @@
+Normal rank
@@ Property / cites work @@
+Coercive subtyping
@@ Property / cites work: Coercive subtyping / rank @@
+Normal rank
@@ Property / cites work @@
+Simple type-theoretic foundations for object-oriented programming
+Normal rank
@@ Property / cites work @@
+Toward formal development of programs from algebraic specifications: Parameterisation revisited
+Normal rank
@@ Property / cites work @@
+Q4935999
@@ Property / cites work: Q4935999 / rank @@
+Normal rank