Functional Kan Simplicial Sets: Non-Constructivity of Exponentiation.

Published in: TYPES (2015)

Keyphrases

real world
databases
artificial intelligence
feature selection
data structure
learning environment
dynamic programming