Login / Signup

Fibrational Modal Type Theory.

Valeria de PaivaEike 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