Kind (type Theory) - See Also

See Also

  • System F-omega
  • Pure type system

Read more about this topic:  Kind (type Theory)

Famous quotes containing the word see:

    If we could see ourselves as others see us, we would vanish on the spot.
    E.M. Cioran (b. 1911)