Guarded Recursion in Agda via Sized Types.

Niccolò Veltri Niels van der Weide

Published in: FSCD (2019)

Keyphrases

fixed point
data sets
multiresolution
real time
genetic algorithm
multimedia
website
multi agent
natural language
deductive databases