Flexible Coinduction in Agda.

Luca Ciccone Francesco Dagnino Elena Zucca

Published in: ITP (2021)

Keyphrases

information systems
expert systems
lightweight
neural network
machine learning
cooperative
evolutionary algorithm
dynamic programming