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