A Hoare logic style refinement types formalisation.

Published in: TyDe@ICFP (2022)

Keyphrases

neural network
image processing
website
multi valued
real time
learning algorithm
computer vision
image sequences
multiscale
evolutionary algorithm
logic programming
classical logic
predicate logic
step wise