Remarks on the equational theory of non-normalizing pure type systems.
Gilles BartheThierry CoquandPublished in: J. Funct. Program. (2006)
Keyphrases
- intelligent systems
- complex systems
- neural network
- information retrieval
- multiscale
- multi agent
- information technology
- computer systems
- topics covered include
- equational theories
- data sets
- belief functions
- computational models
- theoretical foundation
- retrieval systems
- theoretical framework
- knowledge based systems
- distributed systems