A Reasonably Gradual Type Theory.

Kenji Maillard Meven Lennon-Bertrand Nicolas Tabareau Éric Tanter

Published in: CoRR (2022)

Keyphrases

theoretical framework
general theory
reinforcement learning
conceptual framework
multiscale
theoretical basis
real world
website
computational complexity
expert systems
email
theoretical foundation
information theory