On the Subject Reduction Property for Algebraic Type Systems.

Gilles Barthe Paul-André Melliès

Published in: CSL (1996)

Keyphrases

higher order
machine learning
genetic algorithm
information systems
knowledge based systems
real time
case study
user interface
intelligent systems
complex systems
mathematical models
computing systems
multiple types
systems require