Modal Dependent Type Theory and Dependent Right Adjoints.

Ranald Clouston Bassel Mannaa Rasmus Ejlers Møgelberg Andrew M. Pitts Bas Spitters

Published in: CoRR (2018)

Keyphrases

information technology
search algorithm
theoretical basis
genetic algorithm
bayesian networks
optimal solution
natural language
trade off
theoretical framework
theoretical foundation