Login / Signup
Hereditary Substitutions for Simple Types, Formalized.
Chantal Keller
Thorsten Altenkirch
Published in:
MSFP@ICFP (2010)
Keyphrases
</>
neural network
data sets
computer vision
multi agent
multiresolution