Login / Signup

Eta-Expansions in Dependent Type Theory - The Calculus of Constructions.

Neil Ghani
Published in: TLCA (1997)
Keyphrases
  • type checking
  • computational model
  • computer algebra
  • multiscale
  • relational databases
  • theoretical framework
  • theoretical basis
  • real time
  • hidden markov models
  • information theory
  • formal theory
  • database query languages