Login / Signup

A Construction of Type: Type in Martin-Löf's Partial Type Theory with One Universe.

Erik Palmgren
Published in: J. Symb. Log. (1991)
Keyphrases
  • neural network
  • database
  • data sets
  • databases
  • natural language
  • information technology
  • programming language