Login / Signup

Gluing together Proof Environments: Canonical extensions of LF Type Theories featuring Locks.

Furio HonsellLuigi LiquoriPetar MaksimovicIvan Scagnetto
Published in: LFMTP (2015)
Keyphrases
  • real time
  • dynamic environments
  • theoretical framework
  • highly dynamic
  • neural network
  • real world
  • database systems
  • d objects