Foundational extensible corecursion: a proof assistant perspective.

Jasmin Christian Blanchette Andrei Popescu Dmitriy Traytel

Published in: ICFP (2015)

Keyphrases

database
machine learning
theorem prover
test bed
viewpoint
data model
automated theorem proving
markup language
data types
object oriented
multiscale
general purpose
face recognition
image processing
artificial intelligence
theorem proving
application specific
neural network
databases