Type-Theoretic Constructions of the Final Coalgebra of the Finite Powerset Functor.

Niccolò Veltri

Published in: FSCD (2021)

Keyphrases

complex objects
expressive power
fixed order
information systems
real time
data sets
neural network
artificial intelligence
decision making
search algorithm
finite automata