Learnability with Respect to Fixed Distributions

By G. M. Benedek, A. Itai. 1991

Consider a first order typed language, with semantics $S$ for expressions and types. Adding subtyping means that a partial order $<$; on types is defined and that the typing rules are extended to the effect that expression $e$ has type $t$ whenever $e$ has type $s$ and $s<t$ We show how to adapt the semantics $S$ in a simple set theoretic way, obtaining a semantics $S'$ that satisfies, in addition to some obvious requirements, also the property that: $S'~s$ is included in $S'~t$, whenever $s < t$.

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

  1. Yoshua Bengio
  2. Sergey Levine
  3. Percy Liang
  4. Dacheng Tao
  5. Ruslan Salakhutdinov
  6. Trevor Darrell
  7. Bernt Schiele
  8. Quoc V. Le

Citations in the corpus