C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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