Guarded Computational Type Theory.

Jonathan Sterling Robert Harper

Published in: CoRR (2018)

Keyphrases

computational models
theoretical framework
genetic algorithm
theoretical foundation
database
machine learning
social networks
expert systems
query language
computational model
first order logic
fixed point
information theory
theoretical basis
quantum mechanics