Login / Signup
CoQMTU: A Higher-Order Type Theory with a Predicative Hierarchy of Universes Parametrized by a Decidable First-Order Theory.
Bruno Barras
Jean-Pierre Jouannaud
Pierre-Yves Strub
Qian Wang
Published in:
LICS (2011)
Keyphrases
</>
higher order
theoretical framework
general theory
pairwise
computational model
theoretical basis
data sets
neural network
information systems
multiscale