Login / Signup

MiniAgda: Integrating Sized and Dependent Types

Andreas Abel
Published in: PAR (2010)
Keyphrases
  • data mining
  • neural network
  • information systems
  • website
  • information technology
  • special case