Interfaces as functors, programs as coalgebras - A final coalgebra theorem in intensional type theory.

Markus Michelbrink

Published in: Theor. Comput. Sci. (2006)

Keyphrases

von neumann
theoretical basis
programming environment
data sets
theoretical foundation
formal methods
neural network
decision making
multi agent systems
user interface
high speed
operating system
data integration