Polyadic approximations, fibrations and intersection types.

Damiano Mazza Luc Pellissier Pierre Vial

Published in: Proc. ACM Program. Lang. (2018)

Keyphrases

lower bound
closed form
real time
real world
artificial intelligence
e learning
digital libraries
preprocessing
artificial neural networks
special case
approximation methods