Login / Signup
An Effectful Treatment of Dependent Types.
Matthijs Vákár
Published in:
CoRR (2016)
Keyphrases
</>
artificial intelligence
three dimensional
data sets
information systems
decision trees
case study