Joyal's arithmetic universes via type theory.

Maria Emilia Maietti

Published in: CTCS (2002)

Keyphrases

theoretical basis
multimedia
formal theory
databases
information systems
theoretical framework
floating point
database
neural network
multiscale
multi agent
information theory
general theory