Guarded Computational Type Theory.

Jonathan Sterling Robert Harper

Published in: LICS (2018)

Keyphrases

theoretical framework
case study
theoretical basis
general theory
genetic algorithm
learning algorithm
mathematical programming
belief functions