Defining Corecursive Functions in Coq Using Approximations.

Vlad Rusu David Nowak

Published in: ECOOP (2022)

Keyphrases

formal methods
databases
multiscale
data model
linear functions
neural network
computer vision
clustering algorithm
data structure
probabilistic model
knowledge representation
approximation methods