Type theory
Concept in mathematical logic
Follow Type theory on Notably News to receive short updates to your email — rarely!
We include updates on Tuple, Liskov substitution principle, Duck typing, Open–closed principle, Ordered pair, Tagged union, Curry–Howard correspondence, Subtyping, Calculus of constructions, Parametric polymorphism, Mathematical structure, Ad hoc polymorphism, Lambda cube, New Foundations, Typing rule, Effect system ... and more.
|
We don't have anything for this topic yet. Follow to have us start tracking Type theory. |
This contents of the box above is based on material from the Wikipedia article Covariance and contravariance (computer science), which is released under the Creative Commons Attribution-ShareAlike 4.0 International License.