(Q124988105)

English

contravariance

property of a subtyping relation in type theory and programming

In more languages
default for all languages
No label defined

No description defined

Statements

0 references
0 references
 
edit
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit