Login / Signup

CoQMTU: A Higher-Order Type Theory with a Predicative Hierarchy of Universes Parametrized by a Decidable First-Order Theory.

Bruno BarrasJean-Pierre JouannaudPierre-Yves StrubQian Wang
Published in: LICS (2011)
Keyphrases
  • higher order
  • theoretical framework
  • general theory
  • pairwise
  • computational model
  • theoretical basis
  • data sets
  • neural network
  • information systems
  • multiscale