External univalence for second-order generalized algebraic theories.

Rafaël Bocquet

Published in: CoRR (2022)

Keyphrases

website
higher order
neural network
data mining
pairwise
difference equations
multimedia
evolutionary algorithm
defeasible logic
hessian matrix