Login / Signup

Independence Results for Calculi of Dependent Types.

Thomas Streicher
Published in: Category Theory and Computer Science (1989)
Keyphrases
  • real time
  • image processing
  • data sets
  • neural network
  • special case