Using Vampire in Soundness Proofs of Type Systems.

Sylvia Grewe Sebastian Erdweg Mira Mezini

Published in: Vampire Workshop (2015)

Keyphrases

computing systems
neural network
real world
computer vision
multiscale
expert systems
information technology
evolutionary algorithm
building blocks
learning systems