Representations of First Order Function Types as Terminal Coalgebras.

Thorsten Altenkirch

Published in: TLCA (2001)

Keyphrases

real time
higher order
machine learning
image processing
three dimensional
expert systems
higher level
first order logic
multi valued
search algorithm
evolutionary algorithm
low level
probabilistic model
stochastic dominance
external representations