Indexed realizability for bounded-time programming with references and type fixpoints

Aloïs Brunel Antoine Madet

Published in: CoRR (2012)

Keyphrases

neural network
programming language
deductive databases
real time
data sets
databases
information systems
data structure
logic programs
development environment
programming environment