Extending Type Theory with Forcing.

Guilhem Jaber Nicolas Tabareau Matthieu Sozeau

Published in: LICS (2012)

Keyphrases

theoretical framework
theoretical basis
database
artificial intelligence
information systems
case study
multiscale
multi agent systems
evolutionary algorithm
special case
hidden markov models
conceptual framework
decision theory
formal theory