Fibrational Modal Type Theory.

Valeria de Paiva Eike Ritter

Published in: LSFA (2015)

Keyphrases

theoretical framework
theoretical basis
formal theory
web services
information technology
mobile robot
information theory
conceptual framework
decision theory
general theory