Login / Signup

Modeling Contexts with Dependent Types.

Richard DapoignyPatrick Barlatier
Published in: Fundam. Informaticae (2010)
Keyphrases
  • artificial intelligence
  • xml documents
  • decision making
  • cooperative
  • special case