Login / Signup

Attributive Types for Proof Erasure.

Hongwei Xi
Published in: TYPES (2007)
Keyphrases
  • theorem proving
  • database
  • real world
  • case study
  • multi agent
  • data structure
  • multiple types