Combinatory Reduction Systems with Explicit Substitution that Preserve Strong Nomalisation.

Roel Bloo Kristoffer Høgsbro Rose

Published in: RTA (1996)

Keyphrases

distributed systems
data sets
three dimensional
real time
social networks
image processing
multi agent
information technology
management system
software engineering
intelligent systems
computer systems
desirable characteristics