Login / Signup
A Hoare Calculus for Functions Defined by Recursion on Higher Types.
Andreas Goerdt
Published in:
Logic of Programs (1985)
Keyphrases
</>
database
neural network
website
multiscale
basis functions
higher quality